Slim Abdennadher Thom W. Frühwirth Holger Meuss Confluence and Semantics of Constraint Simplification Rules. 133-165 1999 4 Constraints 2 db/journals/constraints/constraints4.html#AbdennadherFM99