E-unification by means of tree tuple synchronized grammars. Limet, Sébastien; Réty, Pierre — 1997 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]