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

by T Schrijvers, B 2004b Demoen
Venue:In Frühwirth and Meister