Sneyers, 2009. Optimizing Compilation and Computational Complexity of Constraint Handling Rules, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-02846-5_41