M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S.,
“Abstract Correction of First-Order Functional Programs”,
12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, 2003.
M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O.,
“A Fast Algebraic Web Verification Service”,
Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.