An Efficient Method for Eliminating Varying Predicates from a Circumscription. (1992)

by M Cadoli, T Eiter, G Gottlob
Venue:Artificial Intelligence,