Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning (2000)

by M Denecker, V Marek, M Truszczyński
Venue:In Logic-based Artificial Intelligence