Circumscription (1994)

by V Lifschitz
Venue:In Handbook of Logic in Artificial Intelligence and Logic Programming