International Conference on Automated Deduction 1998 Lindau Bavaria (International Conference on Automated Deduction 1998 Lindau Bavaria)

• 
  Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings
  by H. Kirchner, Claude Kirchner, International Conference on Automated Deduction 1998 Lindau Bavaria
  Softcover, Springer Verlag, ISBN 3540646752 (3-540-64675-2)