@InProceedings{AhrendtBeckertEA98,
  author       = {Wolfgang Ahrendt and Bernhard Beckert and Reiner H\"ahnle
		  and Wolfram Menzel and  Wolfgang Reif and
		  Gerhard Schellhorn and Peter H. Schmitt},
  title        = {Integrating Automated and Interactive Theorem
		  Proving},
  booktitle    = {Workshop on Integration of Deductive Systems - {A} workshop at
		  the International Conference on Automated Deduction
		  ({CADE-15})},
  venue        = {Lindau, Germany},
  editor       = {N. Bj{\o}rner and R. H\"ahnle and W. Menzel
		  and W. Reif and P. H. Schmitt},
  pages        = {1--11},
  year         = {1998}
}