Proof generation in the Touchstone theorem prover (2000)

by G C Necula, P Lee
Venue:In Proc. of CADE 2000, volume 1831 of LNCS