Some Experiments with a Completion Theorem Prover.

Ursula Martin M. Lai Some Experiments with a Completion Theorem Prover. 81-100 1992 13 J. Symb. Comput. 1 db/journals/jsc/jsc13.html#MartinL92 http://dx.doi.org/10.1016/0747-7171(92)90007-Q