Set constraints in some equational theories
scientific article; zbMATH DE number 1220926