IMPS: An Interactive Mathematical Proof System (1993)

by William M. Farmer, Joshua D. Guttman, F. Javier Thayer
Venue:Journal of Automated Reasoning