Predicate Introduction Under Stable and Well-Founded Semantics.

Johan Wittocx, Joost Vennekens, Maarten Marin, Marc Denecker, Maurice Bruynooghe

Browse the full ICLP paper archive.