@article {AGPV05, title = {A Semantic Framework for the Abstract Model Checking of tccp programs}, journal = {{Theoretical Computer Science}}, volume = {346}, year = {2005}, pages = {58{\textendash}95}, keywords = {Abstraction, cc, model checking}, author = {Maria Alpuente and Gallardo, M.M. and Pimentel, E. and Alicia Villanueva} }