1. Institut für Informatik, Universität Giessen, Arndtstr. 2, 35392 Giessen, Germany. kutrib@informatik.uni-giessen.de, andreas.malcher@informatik.uni-giessen.de
2. Dip. di Informatica “G. degli Antoni”, Università degli Studi di Milano, via Celoria 18, 20133 Milano, Italy. carlo.mereghetti@unimi.it, beatrice.palano@unimi.it