A term equality problem equivalent to graph isomorphism
scientific article; zbMATH DE number 633515
scientific article