Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1996, December). Lessons from experience: making theorem provers more co-operative. Presented at 2nd Workshop on User Interfaces for Theorm Provers