Logik und Formale Methoden

The KeY System 1.0 (Deduction Component)