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

by L DE KONINCK, T SCHRIJVERS, B DEMOEN
Venue:In Proceedings of the 23rd International Conference on Logic Programming (ICLP’07), V. Dahl and I. Niemelä, Eds. Lecture Notes in Computer Science