Volker Diekert Word Problems Over Traces which are Solvable in Linear Time. 3-18 1990 74 Theor. Comput. Sci. 1 db/journals/tcs/tcs74.html#Diekert90