Deciding the word problem in the union of equational theories.
scientific article; zbMATH DE number 1964170
scientific article