Donald Perlis Autocircumscription. 223-236 1988 36 Artif. Intell. 2 db/journals/ai/ai36.html#Perlis88