A new interface for HOL - ideas, issues and implementation (1995)

by Donald Syme
Venue:In Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications, Lecture Notes in Computer Science