Real Theorem Provers Deserve Real User- Interfaces (1992)

by L TheYy, Y Bertot, G Kahn
Venue:In Proceedings of Fifth Symposium on Software Development Environ- ments. ACM