co-author : Marco Venuti

2 journals & series with Andrea Omicini
book Applied Logic Series (APLS)
book Lecture Notes in Computer Science (LNCS)