Affiliation: | 1. Institut für Theoretische Informatik, ETH, Zürich, Switzerland;2. Dipartimento di Informatica ed Applicazioni “Renato M. Capocelli”, Università di Salerno, Italy;3. Dipartimento di Informatica, Università di L’Aquila, Italy;4. Istituto di Analisi dei Sistemi ed Informatica “A. Ruberti”, CNR, Roma, Italy |