Bibliography

S. Brüning and T. Schaub.

A model-based approach to consistency-checking.
In Z. Ras and M. Michalewicz, editors, Proceedings of the Ninth International Symposium on Methodologies for Intelligent Systems, volume 1079 of Lecture Notes in Artificial Intelligence, pages 315-324. Springer Verlag, 1996.

P. Cholewinski, V.W. Marek, A. Mikitiuk, and M. Truszczynski.

Experimenting with nonmonotonic reasoning.
In Proceedings of the International Conference on Logic Programming. MIT Press, 1995.

M. Davis and H. Putnam.

A computing procedure for quantification theory.
Journal of the ACM, 7:201-215, 1960.

T. Linke and T. Schaub.

Lemma handling in default logic theorem provers.
In G. Brewka and C. Witteveen, editors, Second Dutch/German Workshop on Non-Monotonic Reasoning Techniques and Their Applications, 1995.

P. Nicolas and T. Schaub.

The xray system: An implementation platform for local query-answering in default logics.
In A. Hunter and S. Parsons, editors, Applications of Uncertainty Formalisms in Information Systems, Lecture Notes in Artificial Intelligence. Springer Verlag, 1998.

T. Schaub.

A new methodology for query-answering in default logics via structure-oriented theorem proving.
Journal of Automated Reasoning, 15(1):95-165, 1995.

M. Stickel.

A Prolog technology theorem prover.
New Generation Computing, 2:371-383, 1984.

M. Stickel.

A Prolog technology theorem prover: Implementation by an extended Prolog compiler.
Journal of Automated Reasoning, 4:353-380, 1988.

M. Stickel.

A Prolog technology theorem prover: A new exposition and implementation in prolog.
Technical Report Technical Note 464, Stanford Research Institute (SRI), 1989.