Most recent affiliation: Department of Computer Science - Università di Bologna (University of Bologna)