## William M. Farmer, Joshua D. Guttman, F. Javier Thayer

*IMPS: An Interactive Mathematical Proof System*

CADE, 1990.

@inproceedings{CADE-1990-FarmerGT, author = "William M. Farmer and Joshua D. Guttman and F. Javier Thayer", booktitle = "{Proceedings of the 10th International Conference on Automated Deduction}", doi = "10.1007/3-540-52885-7_126", isbn = "3-540-52885-7", pages = "653--654", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{IMPS: An Interactive Mathematical Proof System}", volume = 449, year = 1990, }