Leporelli, C. and Querzoni, L. 2012. Research report 2011. Department of Computer and System Sciences Antonio Ruberti Technical Reports. 4, 7 (Jul. 2012).