Donald Perlis Jack Minker Completeness Results for Circumscription. 29-42 1986 28 Artif. Intell. 1 db/journals/ai/ai28.html#PerlisM86