@article{DMTCS_1997_1_a9,
     author = {Limet, S\'ebastien and R\'ety, Pierre},
     title = {E-unification by means of tree tuple synchronized grammars},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {1},
     year = {1997},
     doi = {10.46298/dmtcs.240},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.240/}
}