1. Chandrabose Aravindan and Peter Baumgartner. A Rational and Efficient Algorithm for View Deletion in Databases. In Jan Maluszynski, editor, Logic Programming-Proceedings of the 1997 International Symposium, Port Jefferson, New York, 1997. The MIT Press.
2. Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl. Semantically Guided Theorem Proving for Diagnosis Applications. In 15th International Joint Conference on Artificial Intelligence (IJCAI 97), pages 460–465, Nagoya, 1997. International Joint Conference on Artificial Intelligence.
3. Peter Baumgartner, Ulrich Furbach, and Ilkka Niemelä. Hyper Tableaux. In Proc. JELIA 96, number 1126 in Lecture Notes in Aritificial Intelligence. European Workshop on Logic in AI, Springer, 1996.
4. Leo Bachmair and Harald Ganzinger. Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation, 4(3):217–247, 1994.
5. Lect Notes Comput Sci;B. Beckert,1996