Some independence results for equational unification. Otto, F., Narendran, P., & Dougherty, D. J. 1995.
bibtex   
@conference{ c_rta95,
  author = {Friedrich Otto and Paliath Narendran and Daniel
                  J. Dougherty},
  title = {Some independence results for equational
                  unification},
  booktitle = {Proc. Sixth Intl. Conf. on Rewriting Techniques
                  and Applications (RTA 1995)},
  pages = {367--381},
  year = {1995},
  volume = {914},
  series = {Lecture Notes in Computer Science},
  abstract = {}
}

Downloads: 0