A tactical environment for an interactive theorem prover (1992)

by Keith Whitwell