Refined strategies for semantic unification

This publication has 4 references indexed in Scilit:

• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• A Narrowing Procedure for Theories with Constructors
  Published by Springer Nature ,1984
• Canonical Forms and Unification.
  Published by Defense Technical Information Center (DTIC) ,1980
• Proving Theorems with the Modification Method
  SIAM Journal on Computing, 1975