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

Marc Denecker, Joost Vennekens (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics