G. Bacci and Comini, M.,
“Abstract Diagnosis of First Order Functional Logic Programs”,
Logic-Based Program Synthesis and Transformation – 20th International Symposium – Pre-Proceedings, vol. 10-14. Hagenberg, Austria, pp. 58–72, 2010.
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.