A logic of non-monotone inductive definitions (2007)

by Marc Denecker, Eugenia Ternovska
Venue:ACM transactions on computational logic