A Unified Analytical Foundation for Constraint Handling Rules

Author: Hariolf Betz
School: University of Ulm
Graduated: August 21, 2014