Issues in Theorem Proving Based on the Connection Method.

Wolfgang Bibel, Stefan Brning, Uwe Egly, Daniel S. Korn, Thomas Rath

Browse the full TABLEAUX paper archive.