G.: Real Theorem Provers Deserve Real UserInterfaces (1992)

by L Théry, Y Bertot, Kahn
Venue:In: Proc. Fifth ACM Symposium on Software Development Environments