An Implementation of a Theorem Prover Based on the Connection Method.

Elmar Eder An Implementation of a Theorem Prover Based on the Connection Method. 121-128 1984 AIMSA db/conf/aimsa/aimsa1984.html#Eder84