Tobias Nipkow, Zhenyu Qian. Modular Higher-Order ::::E::::-Unification. In Ronald V. Book, editor, International Conference on Rewriting Techniques and Applications. Volume 488 of Lecture Notes in Computer Science, pages 200-214, Springer, Como, Italy, 1991.
@inproceedings{NipkowQ91,
title = {Modular Higher-Order ::::E::::-Unification},
author = {Tobias Nipkow and Zhenyu Qian},
year = {1991},
tags = {e-science},
researchr = {https://researchr.org/publication/NipkowQ91},
cites = {0},
citedby = {0},
pages = {200-214},
booktitle = {Rewriting Techniques and Applications},
editor = {Ronald V. Book},
volume = {488},
series = {Lecture Notes in Computer Science},
address = {Como, Italy},
publisher = {Springer},
isbn = {3-540-53904-2},
}