@InProceedings{BeckertGieseEtAl2007,
author = {Bernhard Beckert and Martin Giese and Reiner H\"ahnle and
Vladimir Klebanov and Philipp R\"ummer and Steffen Schlager
and Peter H. Schmitt},
title = {The {\KeY} {S}ystem 1.0 (Deduction Component)},
booktitle = {21st International Conference on Automated Deduction ({CADE-21})},
editor = {F. Pfenning},
publisher = {Springer},
series = {LNCS},
volume = {4603},
pages = {379--384},
year = {2007},
eventdate = {2007-07-17/2007-07-20},
month = jul,
venue = {Bremen, Germany},
doi = {10.1007/978-3-540-73595-3_26}
}
