Bernhard Beckert Martin Giese Reiner Hähnle Vladimir Klebanov Philipp Rümmer Steffen Schlager Peter H. Schmitt The KeY system 1.0 (Deduction Component). 379-384 2007 conf/cade/2007 CADE http://dx.doi.org/10.1007/978-3-540-73595-3_26 db/conf/cade/cade2007.html#BeckertGHKRSS07