A Circumscriptive Theorem Prover

Matthew L. Ginsberg. A Circumscriptive Theorem Prover. In AAAI. pages 470-474, 1988.

Abstract

Abstract is missing.