1. Dipartimento di Informatica, Università Ca' Foscari di Venezia, via Torino 155, 30172 Venezia, Italy. E-mail: bossi@dsi.unive.it,srossi@dsi.unive.it
2. Dipartimento di Matematica ed Informatica, Università di Udine, via Le Scienze 206, 33100 Udine, Italy. E-mail: piazza@dimi.uniud.it