Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine.

K. Aspetsberger Stefan Bayerl Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. 46-55 1985 conf/ki/1985 GWAI db/conf/ki/gwai85.html#AspetsbergerB85