@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...},
keywords = {constraint_programming }
}
::