1. Lecture Notes in Artificial Intelligence;P. Baumgartner,1998
2. LNAI;P. Baumgartner,2000
3. Baumgartner, P., Furbach, U.: Automated Deduction Techniques for the Management of Personalized Documents. In: Annals of Mathematics and Artificial Intelligence – Special Issue on Mathematical Knowledge Management. Kluwer Academic Publishers, Dordrecht (2002) (accepted for Publication)
4. LNAI;P. Baumgartner,1996
5. LNAI;S.-E. Bornscheuer,1996