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

Marc Denecker

Browse the full JELIA paper archive.