Team, S. Green’s Quasiorder on Menger Algebras of Terms: K. Denecke, P. Glubudom. Thai J Math 2006, 4, 49-61.