Unification revisited

This publication has 13 references indexed in Scilit:

• Negation in logic programming
  The Journal of Logic Programming, 1987
• Explicit representation of terms defined by counter examples
  Published by Springer Nature ,1986
• Negation and quantifiers in NU-Prolog
  Published by Springer Nature ,1986
• Properties of substitutions and unifications
  Journal of Symbolic Computation, 1985
• Model Theoretic Issues in Theoretical Computer Science, Part I: Relational Data Bases and Abstract Data Types
  Published by Elsevier ,1984
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• Problematic features of programming languages: a situational-calculus approach
  Acta Informatica, 1981
• 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