A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
Computational Consequences and Partial Solutions of a Generalized Unification Problem
LICS, 1989.
@inproceedings{LICS-1989-KfouryTU, author = "A. J. Kfoury and Jerzy Tiuryn and Pawel Urzyczyn", booktitle = "{Proceedings of the Fourth Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1989.39163", isbn = "0-8186-1954-6", pages = "98--105", publisher = "{IEEE Computer Society}", title = "{Computational Consequences and Partial Solutions of a Generalized Unification Problem}", year = 1989, }