Exploiting functional dependencies in declarative problem specifications
scientific article; zbMATH DE number 5576706
scientific article