Constraint programming systems for modeling music theories and composition
scientific article; zbMATH DE number 6329962