V. Cutello, M. Pavone, and F. Zito. From Computational Logic to Computational Biology, volume 14070 of Lecture Notes in Computer Science, page 172-185. Springer, (2024)
C. Cavallaro, V. Cutello, M. Pavone, and F. Zito. WIVACE, volume 1977 of Communications in Computer and Information Science, page 16-28. Springer, (2023)
C. Cavallaro, V. Cutello, M. Pavone, and F. Zito. OLA, volume 1824 of Communications in Computer and Information Science, page 315-326. Springer, (2023)