An Implementation of a PROLOG-like Theorem Prover based on the Connection Method.

Stefan Bayerl Elmar Eder Franz J. Kurfess Reinhold Letz Johann Schumann An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. 29-36 1986 AIMSA db/conf/aimsa/aimsa1986.html#BayerlEKLS86