@inproceedings{AGPV05d,
title = {{A Semantic Framework for the Abstract Model Checking of tccp Programs (extended abstract)}},
author = {Alpuente, M. and Gallardo, M.M. and Pimentel, E. and Villanueva, A.},
booktitle = {Actas de las V Jornadas de Programación y Lenguajes (PROLE'05)},
pages = {97--100},
year = 2005
}