Dale Miller. Unification Under a Mixed Prefix. Journal of Symbolic Computation, 14(4):321-358, 1992.
@article{Miller92:0,
title = {Unification Under a Mixed Prefix},
author = {Dale Miller},
year = {1992},
researchr = {https://researchr.org/publication/Miller92%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {14},
number = {4},
pages = {321-358},
}