The K.U.Leuven CHR system: Implementation and Application (0)

by T Schrijvers, B Demoen
Venue:In First Workshop on Constraint Handling Rules: Selected Contributions, T. Frühwirth and