Address Karlsruher Institut für Technologie (KIT) Institut für Theoretische Informatik Forschungsgruppe Logik und Formale Methoden (aufgelöst) Post Office Box 6980 76128 Karlsruhe