@article{AGPV05a,
title = {{Abstract Model Checking of tccp Programs}},
author = {Alpuente, M. and Gallardo, M.M. and Pimentel, E. and Villanueva, A.},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {112},
pages = {19--36},
month = jan,
year = 2005
}