Unification Revisited

This publication has 8 references indexed in Scilit:

• Negation in logic programming
  The Journal of Logic Programming, 1987
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Negation and quantifiers in NU-Prolog
  Published by Springer Nature ,1986
• Properties of substitutions and unifications
  Journal of Symbolic Computation, 1985
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• Deductive synthesis of the unification algorithm
  Science of Computer Programming, 1981
• Linear unification
  Journal of Computer and System Sciences, 1978
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965