## Amy P. Felty, Dale Miller

*Specifying Theorem Provers in a Higher-Order Logic Programming Language*

CADE, 1988.

@inproceedings{CADE-1988-FeltyM, author = "Amy P. Felty and Dale Miller", booktitle = "{Proceedings of the Ninth International Conference on Automated Deduction}", doi = "10.1007/BFb0012823", isbn = "3-540-19343-X", pages = "61--80", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Specifying Theorem Provers in a Higher-Order Logic Programming Language}", volume = 310, year = 1988, }