Jeremy George Peterson

An automatic theorem prover for substitution and detachment systems

Jeremy George Peterson, 1978, Notre Dame J. Formal Log..

Shortest single axioms for the classical equivalential calculus

Jeremy George Peterson, 1976, Notre Dame J. Formal Log..