Abteilung Algebraische und logische Grundlagen der Informatik Institut für Informatik Universität Leipzig Johannisgasse 26 04103 Leipzig
Universität Leipzig Fakultät für Mathematik und Informatik Institut für Informatik PF 100920 D-04009 Leipzig Germany