Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning (2000)

by M Denecker, V W Marek, M Truszczyński
Venue:Logic-Based Artificial Intelligence