Leporelli, C. and Querzoni, L. 2011. Research Report 2010. Department of Computer and System Sciences Antonio Ruberti Technical Reports. 3, 6 (Oct. 2011).