An Efficient Method for Eliminating Varying Predicates from a Circumscription - Cadoli, M; Eiter, T; Gottlob, G (1992)