Symbolic constraint handling through unification in finite algebras
scientific article; zbMATH DE number 4193120
scientific article