The Well-founded Semantics Is the Principle of Inductive De nition (1998)

by M Denecker
Venue:Proceedings of the 6th European Workshop on Logics in Arti cial Intelligence, Springer LNAI 1489