Affiliation: | a Dipartimento di Matematica ed Informatica (DIMI),Università di Udine,Via delle Scienze 208, I-33100 Udine, Italy b Dipartimento di Informatica e Telecomunicazioni (DIT), Università di Trento, Via Sommarive 14, I-38050 Povo, Trento, Italy |