Eliminating the Fixed Predicates from a Circumscription.

Johan de Kleer Kurt Konolige Eliminating the Fixed Predicates from a Circumscription. 391-398 1989 39 Artif. Intell. 3 db/journals/ai/ai39.html#KleerK89