@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}
}