An Examination of the Prolog Technology Theorem-Prover.

Mark Tarver

Browse the full CADE paper archive.