Applications of Circumscription to Formalizing (1986)

by J McCarthy
Venue:Common-Sense Knowledge”, Artificial Intelligence