Lorenzo Carlucci
Associate Professor of Mathematical Logic
Department of Computer Science
University of Rome I "La Sapienza"
carlucci /AT/ di /DOT/ uniroma1 /DOT/ it