Author:
Knill E.,Cox P.T.,Pietrzykowski T.
Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. The complexity of unification;Baxter,1976
2. Proving theorems with the modification method;Brand;SIAM J. Comput.,1975
3. Equivalent logic programs and symmetric homogeneous forms of logic programs with equality;Chan,1986
4. Motivation analysis, abductive unification, and nonmonotonic equality;Charniak;Artificial Intelligence,1988
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献