Universität Ulm , Fakultät für Informatik , Institut für Theoretische Informatik