Eliminating the fixed predicates from a circumscription (1989)

by Johan De Kleer, Kurt Konolige
Venue:Artificial Intelligence