TY  - JOUR
AU  - Limet, Sébastien
AU  - Réty, Pierre
TI  - E-unification by means of tree tuple synchronized grammars
JO  - Discrete mathematics & theoretical computer science
PY  - 1997
VL  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.240/
DO  - 10.46298/dmtcs.240
LA  - en
ID  - DMTCS_1997_1_a9
ER  -