A. Baruzzo and Comini, M.,
“Static Verification of UML Model Consistency”,
MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.
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.