On the Group of Transformations of Classical Types of Seventh Chords. - Sonia Cannas; Samuele Antonini; Ludovico Pernazza (MCM, 2017)

A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons. - Gennaro Auricchio; Luca Ferrarini; Stefano Gualandi; Greta Lanzarotto; Ludovico Pernazza (CPAIOR, 2022)

Extended Vuza Canons. - Greta Lanzarotto; Ludovico Pernazza (MCM, 2022)

Computing aperiodic tiling rhythmic canons via SAT models. - Gennaro Auricchio; Luca Ferrarini; Stefano Gualandi; Greta Lanzarotto; Ludovico Pernazza (Constraints An Int. J., 2024)