Sébastien Limet, Pierre Réty
E-Unification by Means of Tree Tuple Synchronized Grammars
TAPSOFT, 1997.
@inproceedings{TAPSOFT-1997-LimetR, author = "Sébastien Limet and Pierre Réty", booktitle = "{Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development}", doi = "10.1007/BFb0030616", isbn = "3-540-62781-2", pages = "429--440", publisher = "{Springer}", title = "{E-Unification by Means of Tree Tuple Synchronized Grammars}", year = 1997, }