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