1. Falco Nogatz. CHR.js: Compiling Constraint Handling Rules to JavaScript. Master's thesis, University of Ulm, 2015. [PDF]


  1. Rafael Caballero, Yolanda Garcia-Ruiz, and Fernando Saenz-Perez. Debugging Datalog Programs Through CHRs, 2012.


  1. Gregory M. Flanagan. Conceptual Requirement Validation for Architecture Design Systems. Master's thesis, California Polytechnic State University, San Luis Obispo, September 2011.
  2. Henning Christiansen and Bo Li. Approaching the Chinese Word Segmentation Problem with CHR Grammars, September 2011.
  3. T.W.D. Jongstra. Inequality Reasoning for Qualitative Models using Constraint Handling Rules. Bachelor thesis, University of Amsterdam, December 2011.


  1. Eric Monfroy. Constraint Handling Rules by Thom Frühwirth, Cambridge University Press, 2009, 2010. Note: Book review (to appear in Theory and Practice of Logic Programming). [doi:10.1017/S1471068410000074]


  1. Marcos Aurélio de Almeida Silva. Constraint Handling Object-oriented Rules with Disjunction (CHORD). Master's thesis, Federal University of Pernambuco, Recife, Brazil, February 2009. [WWW] Keyword(s): disjunction, search.
  2. Adrian Kostrubiak. Integration of Java Generics Into The extttjmle Tool Within The Eclipse IDE. Honors thesis, Dickinson College, 2009. [PDF]
  3. Cleyton Mário de Oliveira Rodrigues. Components and Theorem Proving with Constraint Handling Rules. Master's thesis, Federal University of Pernambuco, Recife, Brazil, 2009.
  4. Mathias Wasserthal. An extensible platform for the analysis of graph transformation systems using Constraint Handling Rules. Diploma thesis, Ulm University, February 2009. Keyword(s): Graph Transformation Systems, related formalisms.


  1. Scientific Software & Systems Ltd.. Company Profile: Solving problems with proven solutions, 2008. [WWW]


  1. Martin Magnusson. Deductive Planning and Composite Actions in Temporal Action Logic. Master's thesis, Department of Computer and Information Science, Linköping University, Sweden, 2007. Note: Thesis No. 1329.
  2. Ersha Rahimikia. Detecting non-termination in Constraint Handling Rules. Master's thesis, Dept. Computing and Software, McMaster University, 2007. Keyword(s): termination, termination.
  3. Gerrit van den Geest. Constraints for Type Class Extensions. Master's thesis, Utrecht University, April 2007. Keyword(s): type systems.
  4. Atze Dijkstra, Gerrit van den Geest, Bastiaan Heeren, and S. Doaitse Swierstra. Modelling Scoped Instances with Constraint Handling Rules. Note: Rejected by ICFP '07, 2007.


  1. Maryam Bavarian. Design and analysis of biological sequences using Constraint Handling Rules. Master's thesis, Simon Fraser University, Burnaby, Canada, 2006. [WWW] Keyword(s): applications.


  1. Olivier Bouissou. A CHR library for SiLCC. Diplomarbeit, Technical University of Berlin, Germany, January 2005.


  1. Hariolf Betz. A linear logic semantics for CHR. Diplomarbeit, University of Ulm, Germany, October 2004. [POSTSCRIPT] Keyword(s): semantics, linear logic.


  1. Wei-Ngan Chin, Martin Sulzmann, and Meng Wang. A Type-Safe Embedding of Constraint Handling Rules into Haskell. Honors Thesis, School of Computing, National University of Singapore, 2003. Keyword(s): type systems, implementation.


  1. Thomas Hecksher, Sune T.B. Nielsen, and Alexis Pigeon. A CHRG model of the ancient Egyptian grammar. Note: Unpublished student project report, Roskilde University, Denmark, December 2002. Keyword(s): applications, linguistics.
  2. Frank Morawietz and Philippe Blache. Parsing Natural Languages with CHR. Note: Unpublished Draft, 2002. Keyword(s): applications, linguistics.


  1. Ekkehard Krämer. A Generic Search Engine for a Java Constraint Kit. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, January 2001. Keyword(s): search, Java.


  1. Matthias Schmauss. An Implementation of CHR in Java. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, November 1999. Keyword(s): implementation, Java.


  1. M. Bjareland. Proving consistency in K-IA chronicles---An implemention of PMON. Master's thesis, Dept. of Information and Comp. Science, Linkoepings Universitet, 1996.
  2. Holger Meuss. Konfluenz von Constraint-Handling-Rules-Programmen. Diplomarbeit, Institut für Informatik, Ludwig-Maximilians-Universität München, Germany, 1996. Keyword(s): confluence.