Constraint handling rules : current research topics - Schrijvers, Tom (Berlin : Springer, 2009)
57