The UT Interactive Prover (1975)

by W W Bledsoe, M Tyson
Venue:University of Texas Mathematics Dept