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, Comini, M., Escobar, S., Falaschi, M., and Lucas, S.,
“Abstract Diagnosis of Functional Programs”,
Logic Based Program Synthesis and Tranformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, vol. 2664. Springer-Verlag, Berlin, 2003.
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.