Sorted unification using set constraints

This publication has 7 references indexed in Scilit:

• Equality and disequality constraints on direct subterms in tree automata
  Published by Springer Nature ,1992
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
  Artificial Intelligence, 1991
• A resolution principle for clauses with constraints
  Published by Springer Nature ,1990
• A finite presentation theorem for approximating logic programs
  Published by Association for Computing Machinery (ACM) ,1990
• Inductive proofs by specification transformations
  Published by Springer Nature ,1989
• Computational Aspects of an Order-Sorted Logic with Term Declarations
  Published by Springer Nature ,1989
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987