A logic of non-monotone inductive definitions (0)

by M Denecker, E Ternovska
Venue:Transactions on Computational Logic