Slim Abdennadher, Thom W. Frühwirth, Holger Meuss. Confluence and Semantics of Constraint Simplification Rules. Constraints, 4(2):133-165, 1999.
@article{AbdennadherFM99,
title = {Confluence and Semantics of Constraint Simplification Rules},
author = {Slim Abdennadher and Thom W. Frühwirth and Holger Meuss},
year = {1999},
tags = {semantics, rule-based, constraints, rules},
researchr = {https://researchr.org/publication/AbdennadherFM99},
cites = {0},
citedby = {0},
journal = {Constraints},
volume = {4},
number = {2},
pages = {133-165},
}