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

by T Schrijvers, B Demoen
Venue:In First Workshop on Constraint Handling Rules: Selected Contributions