Checking Textbook Proofs (1998)

by Claus Zinn
Venue:Int. Workshop on FirstOrder Theorem Proving (FTP'98), Technical Report E1852-GS-981