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