A logic of nonmonotone inductive definitions and its modularity properties (2004)

by M Denecker, E Ternovska
Venue:Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’7