Paliath Narendran, Friedrich Otto. Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories. Journal of Automated Reasoning, 19(1):87-115, 1997.
@article{NarendranO97:0,
title = {Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories},
author = {Paliath Narendran and Friedrich Otto},
year = {1997},
researchr = {https://researchr.org/publication/NarendranO97%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {19},
number = {1},
pages = {87-115},
}