Adding External Decision Procedures to HOL90 Securely (1998)

by E L Gunter
Venue:Proceedings of the 11 th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 1998), volume 1479 of Lecture Notes in Computer Science