The K.U.Leuven CHR system: Implementation and application (2004)

by Tom Schrijvers, Bart Demoen
Venue:In Selected Contributions, First Workshop on Constraint Handling Rules