What is wrong with GUIs for theorem provers (1997)

by N Merriam, M Harrison
Venue:In Proceedings of User Interfaces for Theorem Provers