Letz, Reinhold; Stenz, Gernot The disconnection tableau calculus. (English) Zbl 1121.03022 J. Autom. Reasoning 38, No. 1-3, 79-126 (2007). MSC: 03B35 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Iwanuma, Koji Lemma matching for a PTTP-based top-down theorem prover. (English) Zbl 1430.68413 McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 146-160 (1997). MSC: 68V15 × Cite Format Result Cite Review PDF Full Text: DOI
Baumgartner, Peter; Furbach, Ulrich; Niemelä, Ilkka Hyper tableaux. (English) Zbl 1427.03031 Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’96, Évora, Portugal, September 30 – October 3, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1126, 1-17 (1996). MSC: 03B35 68V15 × Cite Format Result Cite Review PDF Full Text: DOI