Zhenyu Qian, Kang Wang
Higher-Order E-Unification for Arbitrary Theories
ICLP, 1992.
@inproceedings{JICSLP-1992-QianW, author = "Zhenyu Qian and Kang Wang", booktitle = "{Proceedings of the Joint International Ninth Conference and Symposium on Logic Programming}", isbn = "0-262-51064-2", pages = "52--66", publisher = "{MIT Press}", title = "{Higher-Order E-Unification for Arbitrary Theories}", year = 1992, }