Adresse Karlsruher Institut für Technologie (KIT) Institut für Theoretische Informatik Forschungsgruppe Logik und Formale Methoden (aufgelöst) Postfach 6980 76128 Karlsruhe