The well-founded semantics is the principle of inductive definition (1998)

by M Denecker
Venue:Proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 1998, volume 1489 of LNCS