@inproceedings{BetzRaiserFruehwirth2010, author = {Hariolf Betz and Frank Raiser and Thom Fr{\"u}hwirth}, title = {Persistent constraints in constraint handling rules}, year = {2010}, }