@inproceedings{LOPSTR-2007-WeertSD,
author = "Peter Van Weert and Jon Sneyers and Bart Demoen",
booktitle = "{Revised Selected Papers of the 17th International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-540-78769-3_5",
isbn = "978-3-540-78768-6",
pages = "59--73",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Aggregates for CHR through Program Transformation}",
volume = 4915,
year = 2007,
}
Tags: