Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract).

Uwe Petermann Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract). 64-66 1992 TABLEAUX db/conf/tableaux/tableaux92.html#Petermann92