Dipartimento di Matematica “F. Brioschi”, Politecnico di Milano, Piazza Leonardo da Vinci 32, I-20133 Milano, Italy. paolo.dulio@polimi.it;Dipartimento di Sistemi e Informatica, Viale Morgagni 65, 50134 Firenze, Italy. andrea.frosini@unifi.it;LIACS, Leiden University, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands and Department of Computer Science, University of Colorado at Boulder, USA. rozenber@liacs.nl