Donald Perlis Circumscribing with Sets. 201-211 1987 31 Artif. Intell. 2 db/journals/ai/ai31.html#Perlis87