Slim Abdennadher, Thom W. Frühwirth, Holger Meuss. On Confluence of Constraint Handling Rules. In Eugene C. Freuder, editor, Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996. Volume 1118 of Lecture Notes in Computer Science, pages 1-15, Springer, 1996.
Abstract is missing.