Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. - Marc Meister; Khalil Djelloul; Thom W. Frühwirth (CSCLP, 2006)

Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. - Marc Meister (WLP, 2006)

A Unified Semantics for Constraint Handling Rules in Transaction Logic. - Marc Meister; Khalil Djelloul; Jacques Robin (LPNMR, 2007)

Advances in constraint handling rules. - Marc Meister (2008)