Logic programs with monotone abstract constraint atoms

Open in new window