Approximations, stable operators, wellfounded fixpoints and applications in nonmonotonic reasoning. (2000)

by Marc Denecker, Victor Marek, Mirosław Truszczynski
Venue:In Logic-Based Artificial Intelligence, Springer,