"FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings" published in "Theory and Practice of Logic Programming"
Our article "FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings" by Sascha Rechenberger and Thom Frühwirth was published in the…