Address Universität UlmFakultät Ingenieurwissenschaften, Informatik und PsychologieInstitut für Theoretische Informatik 89069 Ulm