Expressing Musical Ideas with Constraint Programming Using a Model of Tonal Harmony. - Damien Sprockeels; Peter Van Roy (IJCAI, 2024)