riccardo.borsetto@univr.it
Department of Computer Science University of Verona Strada le Grazie 15 37134 Verona, Italy
Logic group