Efficiency in a Fully-Expansive Theorem Prover (1994)

by Richard J Boulton
Venue:University of Cambridge Computer Laboratory, New Museums Site