@InCollection{ABHMRSS98,
  author =       {W. Ahrendt and B. Beckert and R. H\"{a}hnle and
                  W. Menzel and W.Reif and G. Schellhorn and P. Schmitt},
  title =        {Integration of Automated and Interactive Theorem
                  Proving},
  publisher =    "Kluwer",
  booktitle =    {Automated Deduction --- A Basis for Applications},
  editor =       {W. Bibel and P. Schmitt},
  year =         {1998},
  volume =       {I, 3}
}