The word problem for omega-terms over the Trotter-Weil hierarchy
scientific article; zbMATH DE number 6879947
scientific article