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

Amy P. Felty Dale Miller Specifying Theorem Provers in a Higher-Order Logic Programming Language. 61-80 1988 conf/cade/1988 CADE db/conf/cade/cade88.html#FeltyM88 http://dx.doi.org/10.1007/BFb0012823