Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
Stefano Zacchiroli <zacchiro@cs.unibo.it>