Matthew L. Ginsberg A Circumscriptive Theorem Prover. 209-230 1989 39 Artif. Intell. 2 db/journals/ai/ai39.html#Ginsberg89