Connection-based Theorem Proving in Classical and Non-classical Logics.

Christoph Kreitz Jens Otten Connection-based Theorem Proving in Classical and Non-classical Logics. 88-112 1999 5 J. UCS 3 db/journals/jucs/jucs5.html#KreitzO99 http://www.jucs.org/jucs_5_3/connection_based_theorem_proving