@InCollection{    AhrendtBeckert98,     
  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},
  part          = {1: Interactive Theorem Proving},
  volume        = {{II}: Systems and Implementation Techniques},
  pages         = {97--116},              
  booktitle     = {Automated Deduction --- A Basis for Applications},
  editor        = {Wolfgang Bibel and Peter H. Schmitt},
  series        = {Applied Logic Series, No. 9},
  publisher     = {Kluwer, Dordrecht},
  year          = {1998}
}