Slim Abdennadher Thom W. Frühwirth Holger Meuss On Confluence of Constraint Handling Rules. 1-15 1996 conf/cp/1996 CP db/conf/cp/cp96.html#AbdennadherFM96