Eciency in a fully-expansive theorem prover (1994)

by R J Boulton
Venue:University of Cambridge Computer Laboratory� New Museums Site� Pembroke Street� Cambridge