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

Uwe Petermann

Browse the full TABLEAUX paper archive.