Controlled integration of the cut rule into connection tableau calculi R. LetzK. MayrC. Goller OriginalPaper Pages: 297 - 337
Model elimination without contrapositives and its application to PTTP Peter BaumgartnerUlrich Furbach OriginalPaper Pages: 339 - 359
An improved refutation system for intuitionistic predicate logic Pierangelo MiglioliUgo MoscatoMario Ornaghi OriginalPaper Pages: 361 - 373
The saturated tableaux for linear miniscoped horn-like temporal logic Regimantas Pliuškevičius OriginalPaper Pages: 391 - 407
Tableau-based theorem provers: Systems and implementations J. Schumann OriginalPaper Pages: 409 - 421