D. Ballis, Falaschi, M., Ferri, C., Hernández-Orallo, J., and Ramirez-Quintana, J. M.,
“Cost-Sensitive Diagnosis of Declarative Programs”,
12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, p. 3, 2003.
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.