Reducing complex CSP models to traces via priority
scientific article; zbMATH DE number 6862932
scientific article