Renzo Davoli <renzo@cs.unibo.it>
