PROTEIN: A PROver with a Theory Extension Interface (1994)

by Peter Baumgartner , Ulrich Furbach
Venue:AUTOMATED DEDUCTION -- CADE-12, VOLUME 814 OF LNAI
Citations:40 - 10 self

Active Bibliography

8 Refinements of Theory Model Elimination and a Variant without Contrapositives – Peter Baumgartner - 1994
9 Computing Answers with Model Elimination – Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg - 1997
14 Consolution as a Framework for Comparing Calculi – Peter Baumgartner, Ulrich Furbach - 1994
10 Model Elimination, Logic Programming and Computing Answers – Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg - 1995
22 Model Elimination without Contrapositives and its Application to PTTP – Peter Baumgartner, Ulrich Furbach - 1994
2 Linear and Unit-Resulting Refutations for Horn Theories – Peter Baumgartner - 1995
4 GLUE: Opening the World to Theorem Provers – Gerd Neugebauer, Dorothea Schäfer - 1997
5 A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion – Peter Baumgartner, Stefan Bruning, Technische Hochschule Darmstadt, Fachbereich Informatik - 1995
40 Tableaux and Related Methods – Reiner Hähnle - 2001
8 Analysis and Transformation of Proof Procedures – David André de Waal - 1994
4 Proof Procedures for Logic Programming – Donald W. Loveland, Donald W. Loveland, Gopalan Nadathur, Gopalan Nadathur - 1994
49 Caching and Lemmaizing in Model Elimination Theorem Provers – Owen L. Astrachan, Mark E. Stickel - 1992
12 METEOR: Exploring Model Elimination Theorem Proving – Owen Astrachan - 1992
A Flexible System for Constraint Disjunctive Logic Programming – Frieder Stolzenburg, Frieder Stolzenburg, Uni Koblenz - 1996
20 Optimizing proof search in model elimination – John Harrison, Turku Centre For - 1996
Tableaux-based Theorem Provers - Systems and Implementations – J. Schumann (Ed.), J. Schumann - 1994
18 Simultaneous Rigid E-Unification is Undecidable – Anatoli Degtyarev, Andrei Voronkov - 1995
8 An Alternative Characterization of Disjunctive Logic Programs – David W. Reed, Donald W. Loveland, Bruce T. Smith - 1991
6 Ordered Tableaux: Extensions and Applications – Reiner Hähnle, Christian Pape - 1997