M. Alpuente, Ballis, D., Correa, F., and Falaschi, M.,
“Correction of Functional Logic Programs”,
Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, vol. 2618. Springer, pp. 54–68, 2003.
M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O.,
“An Abstract Generic Framework for Web Site Verification”,
2008 International Symposium on Applications and the Internet, SAINT 2008. IEEE Computer Society, pp. 104–110, 2008.
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.