@inproceedings{LV09a, title = {{A tool for Generating a Symbolic Representation of tccp executions}}, author = {Lescaylle, A. and Villanueva, A.}, booktitle = {17th International Workshop on Funcional and (Constraint) Logic Programming (WFLP'08)}, address = {Siena, Italy}, year = 2008 }