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.
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.