Symbolic constraint handling through unification in finite algebras | Publicación