Path rewriting and combined word problems (2000)

by Camillo Fiorentini, Silvio Ghilardi