Tree automata help one to solve equational formulae in AC-theories
scientific article; zbMATH DE number 762063