@article{Fruehwirth:1998, title = {Theory and Practice of Constraint Handling Rules}, author = {Thom Fr{\"u}hwirth}, journal = {The Journal of Logic Programming}, number = {1-3}, pages = {95-138}, volume = 37, year = 1994, abstract = {Constraing Handling Rules (CHR) are our proposal to allow more flexibility and application-oriented customization of constraint systems. CHR are a declarative language extension especially designed for writing user-defined constraints...}, biburl = {http://www.bibsonomy.org/bibtex/2f75357a26a05742bbde10319b5144c6d/diego_ma}, keywords = {constraint_programming}, }