Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Fakultät für Informatik, Universität Karlsruhe (TH)