Leporelli, Claudio, and Leonardo Querzoni. 2011. “Research Report 2010”. Department of Computer and System Sciences Antonio Ruberti Technical Reports 3 (6). https://rosa.uniroma1.it/rosa00/index.php/dis_technical_reports/article/view/9247.