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

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