Jean H. Gallier, Wayne Snyder. Complete Sets of Transformations for General E-Unification. Theoretical Computer Science, 67(2&3):203-260, 1989.
@article{GallierS89,
title = {Complete Sets of Transformations for General E-Unification},
author = {Jean H. Gallier and Wayne Snyder},
year = {1989},
tags = {completeness, e-science, transformation},
researchr = {https://researchr.org/publication/GallierS89},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {67},
number = {2&3},
pages = {203-260},
}