On confluence of Constraint Handling Rules

This publication has 7 references indexed in Scilit:

• Confluence in concurrent constraint programming
  Published by Springer Nature ,1995
• Constraint Programming: Basics and Trends
  Published by Springer Nature ,1995
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• Concurrent Constraint Programming
  Published by MIT Press ,1993
• Constraint logic programming
  The Knowledge Engineering Review, 1991
• The family of concurrent logic programming languages
  ACM Computing Surveys, 1989
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987