Efficiency in a Fully-Expansive Theorem Prover (1993)

by Richard John Boulton, Richard John Boulton