References

1

Peter Baumgartner and Ulrich Furbach.
Protein: A prover with a theory extension interface.
In A. Bundy, editor, 12th International Conference on Automated Deduction,CADE-12, volume 814 of LNAI, pages 769-773. Springer, 1994.
Available in the WWW, URL: http://www.uni-koblenz.de/ag-ki/Systems/PROTEIN/.

2

Bernhard Beckert, Reiner Hähnle, Peter Oel, and Martin Sulzmann.
The tableau-based theorem prover 3tap, version 4.0.
In M.A. McRobbie and J.K. Slaney, editors, 13th International Conference on Automated Deduction, CADE-13, volume 1104 of LNCS, pages 303-307. Springer, 1996.

3

Harald Ganzinger and Robert Nieuwenhuis.
The saturate system 1994.
http://www.mpi-sb.mpg.de/SATURATE/Saturate.html, 1994.

4

Birgit Heinz.
Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung.
Dissertation, TU Berlin, Dec 1995.

5

Reinhold Letz, Johann Schumann, S. Bayerl, and Wolfgang Bibel.
Setheo: A high-performance theorem prover.
Journal of Automated Reasoning, 8(2):183-212, 1992.

6

William McCune.
Otter 3.0 reference manual and guide.
Technical Report ANL-94/6, Argonne National Laboratory, 1994.

7

Francis Jeffry Pelletier.
Seventy-five problems for testing automatic theorem provers.
Journal of Automated Reasoning, 2(2):191-216, 1986.
Errata: Journal of Automated Reasoning, 4(2):235-236,1988.

8

Wolfgang Reif.
The kiv-approach to software verification.
In M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, volume 1009 of LNCS. Springer, 1995.

9

Geoff Sutcliffe, Christian B. Suttner, and Theodor Yemenis.
The TPTP problem library.
In Alan Bundy, editor, Twelfth International Conference on Automated Deduction, CADE-12, volume 814 of Lecture Notes in Artificial Intelligence, LNAI, pages 252-266, Nancy, France, June 1994. Springer.

10

Christoph Weidenbach, Bernd Gaede, and Georg Rock.
Spass & flotter, version 0.42.
In M.A. McRobbie and J.K. Slaney, editors, 13th International Conference on Automated Deduction, CADE-13, volume 1104 of LNAI, pages 141-145. Springer, 1996.