Carlucci Aiello, L. and De Persis, C. 2009. Research Report 2008. Department of Computer and System Sciences Antonio Ruberti Technical Reports. 1, 6 (Apr. 2009).