Affiliation: | Dipartimento di Scienze, Universitá"D'Annunzio" di Chieti-Pescara, Italy Istituto di Informatica e Telematica, C.N.R., Pisa, Italy; Fakultät für Informatik, Universität Ulm, Germany; Institut für Informatik, Ludwig-Maximilians-Universität München, Germany; Dipartimento di Matematica Pura ed Applicata, Universitàdi Padova, Italy |