Schrijvers, Tom. The K.U.Leuven CHR system. Constraint handling rules : compilation, execution, and analysis. In Fruehwirth, Thom and Raiser, Frank, eds., Constraint handling rules : compilation, execution, and analysis, pp. 71-88, Books on Demand GmbH, 2011.

BibTeX

@incollection{schrijvers:2011:chrbook:kuleuven,
  author = {Schrijvers, Tom},
  editor = {Fruehwirth, Thom and Raiser, Frank},
  title = {The K.U.Leuven CHR system},
  booktitle = {Constraint handling rules : compilation, execution, and analysis},
  publisher = {Books on Demand GmbH},
  pages = {71-88},
  year = {2011},
  ISBN = {9783839115916},
}