Variadic equational matching in associative and commutative theories
scientific article; zbMATH DE number 7354268
scientific article