Optimizing Compilation and Computational Complexity of Constraint Handling Rules door