Implementing extensible theorem provers (1999)

by K Fisler, S Krishnamurthi, K E Gray
Venue:In International Conference on Theorem Proving in Higher-Order Logic: Emerging Trends, Research Report, INRIA Sophia Antipolis