On validity in modelization of musical problems by CCP
temporal concurrent constraint programming
scientific article; zbMATH DE number 2151881