Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions.

Marc Denecker, Joost Vennekens

Browse the full LPNMR paper archive.