1. Lect Notes Comput Sci;S. Abdennadher,1997
2. C. Aravindan and P. Baumgartner. A Rational and Efficient Algorithm for View Deletion in Databases. Proc. Int. Logic Programming Symposium, MIT Press, 1997.
3. Lect Notes Comput Sci;P. Baumgartner,1996
4. P. Baumgartner, P. Fröhlich, U. Furbach, and W. Nejdl. Tableaux for Diagnosis Applications. Proc. 6th Workshop on Theorem Proving with Tableaux and Related Methods, Springer LNAI, 76–90, 1997.
5. P. Baumgartner, P. Fröhlich, U. Furbach, and W. Nejdl. Semantically Guided Theorem Proving for Diagnosis Applications. Proc. 15th Int. Joint Conf. on Artificial Intelligence (IJCAI), 460–465, 1997.