Entailment and disentailment of order-sorted feature constraints

This publication has 5 references indexed in Scilit:

• Concurrent constraint programming
  Published by Association for Computing Machinery (ACM) ,1990
• Integrating logic and functional programming
  Higher-Order and Symbolic Computation, 1989
• Unification Revisited
  Published by Elsevier ,1988
• An algebraic semantics approach to the effective resolution of type equations
  Theoretical Computer Science, 1986
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986