Author:
Bennett James H.,Easton William B.,Guard James R.,Settle Larry G.
Publisher
Defense Technical Information Center
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Unification problem in equational theories;Cybernetics and Systems Analysis;1997-11
2. Minimal and complete word unification;Journal of the ACM;1990-01-03
3. Matching under commutativity;Symbolic and Algebraic Computation;1979
4. Semi-Automated Mathematics;Automation of Reasoning;1969