Address Technische Universität Braunschweig Carl-Friedrich-Gauß-Fakultät Institut für Theoretische Informatik Post Office Box 3329 38023 Braunschweig