A Theorem Prover for a Computational Logic.

Robert S. Boyer J. Strother Moore A Theorem Prover for a Computational Logic. 1-15 1990 conf/cade/1990 CADE db/conf/cade/cade90.html#BoyerM90 http://dx.doi.org/10.1007/3-540-52885-7_75