1. Department of Computer Science, University of Verona, Strada Le Grazie, Verona, Italy
2. Department of Mathematics, University of Trento, Via Sommarive 14, Trento, Italy
3. School of Mathematics and Natural Sciences, University of Wuppertal, Gaußstraße 20, Wuppertal, Germany