The KeY System 1.0 (Deduction Component)

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