The correspondence between the Logical Algorithms language and CHR (0)

by L De Koninck, T Schrijvers, B Demoen
Venue:In ICLP ’07: Proc. 23rd Intl. Conf. Logic Programming, V. Dahl and I. Niemelä, Eds. LNCS