A constraint-based framework to model harmony for algorithmic composition
Constraint programming systems for modeling music theories and composition