Wolfgang Bibel Stefan Brüning Uwe Egly Daniel S. Korn Thomas Rath Issues in Theorem Proving Based on the Connection Method. 1-16 1995 conf/tableaux/1995 TABLEAUX db/conf/tableaux/tableaux95.html#BibelBEKR95