M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“A Semantic Framework for the Abstract Model Checking of tccp programs”,
{Theoretical Computer Science}, vol. 346, pp. 58–95, 2005.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“Abstract Model Checking of tccp programs”,
Electronic Notes in Theoretical Computer Science (ENTCS), vol. 112, pp. 19–36, 2004.