George C. Necula Peter Lee 0001 Proof Generation in the Touchstone Theorem Prover. 25-44 2000 conf/cade/2000 CADE db/conf/cade/cade2000.html#NeculaL00 https://doi.org/10.1007/10721959_3