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

Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann

Browse the full AIMSA paper archive.