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

by Marc Denecker
Venue:Logics in Arti Intelligence
Citations:44 - 26 self