Canonical Decision Diagrams Modulo Theories. - Massimo Michelutti; Gabriele Masina; Giuseppe Spallitta; Roberto Sebastiani (ECAI, 2024)