Pointwise circumscription: Preliminary report, (1985)

by V Lifschitz
Venue:Proc. AAAI-86 1,