The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited.

Marc Denecker, Joost Vennekens

Browse the full KR paper archive.