A Linear-Logic Semantics for Constraint Handling Rules. - Hariolf Betz; Thom W. Frühwirth (CP, 2005)

Constructing Rule-Based Solvers for Intentionally-Defined Constraints. - Ingi Sobhi; Slim Abdennadher; Hariolf Betz (Constraint Handling Rules, 2008)

A complete and terminating execution model for Constraint Handling Rules. - Hariolf Betz; Frank Raiser; Thom W. Frühwirth (Theory Pract. Log. Program., 2010)

Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction. - Hariolf Betz; Thom W. Frühwirth (ACM Trans. Comput. Log., 2013)

A unified analytical foundation for constraint handling rules. - Hariolf Karl Michael Betz (2014)