@article{AGPV05b,
title = {{A Semantic Framework for the Abstract Model Checking of tccp Programs}},
author = {Alpuente, M. and Gallardo, M.M. and Pimentel, E. and Villanueva, A.},
journal = {Theoretical Computer Science},
volume = {346},
number = 1,
pages = {58--95},
month = nov,
year = 2005
}