IMPS: An Interactive Mathematical Proof System (1993)

by William M. Farmer , Joshua D. Guttman , F. Javier Thayer
Venue:Journal of Automated Reasoning
Citations:86 - 20 self