M. Alpuente, Ballis, D., and Falaschi, M.,
“A Rewriting-based Framework for Web Sites Verification”,
Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). Elsevier, pp. 41–61, 2005.
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, Falaschi, M., and Villanueva, A.,
“A Symbolic Model checker for tccp Programs”, in
Proceedings of the International Workshop on Rapid Integration of Software Ingeneering techniques (RISE'04), vol. 3475, Springer Verlag, 2005, pp. 45–56.