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

by Marc Denecker
Venue:Logics in Arti Intelligence