M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A.,
“DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer”,
Electronic Notes in Theoretical Computer Science, vol. 248, pp. 57–66, 2009.
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M.,
“An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs”,
Theoretical Computer Science, vol. 411, no. 47, 2010.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“A Real-Time Logic for tccp verification”,
Journal of Universal Computer Science, vol. 12, pp. 1551–1573, 2006.
M. Alpuente, Ballis, D., and Falaschi, M.,
“Rule-based Verification of Web Sites”,
International Journal on Software Tools for Technology Transfer (STTT), vol. 8, pp. 565–585, 2006.
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.