|
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
|
|
3
|
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
|
|
32
|
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
|
|
11
|
METEOR: Exploring Model Elimination Theorem Proving
– Owen Astrachan
- 1992
|
|
|
A Flexible System for Constraint Disjunctive Logic Programming
– Frieder Stolzenburg, Frieder Stolzenburg, Uni Koblenz
- 1996
|
|
16
|
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
|
|
7
|
An Alternative Characterization of Disjunctive Logic Programs
– David W. Reed, Donald W. Loveland, Bruce T. Smith
- 1991
|
|
9
|
A near-Horn Prolog for Compilation
– Donald W. Loveland, Donald W. Lovel, David W. Reed, David W. Reed
- 1989
|
