An Examination of the Prolog Technology Theorem-Prover. - Mark Tarver (CADE, 1990)

A Language for Implementing Arbitrary Logics. - Mark Tarver (IJCAI, 1993)

Inducing Theorem Provers from Proofs. - Raul H. C. Lopes; Mark Tarver (ICTAI, 1997)