M. Comini, Levi, G., Meo, M. C., and Vitiello, G.,
“Proving properties of Logic Programs by Abstract Diagnosis”,
Proceedings of Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (LOMAPS'96), vol. 1192. Springer-Verlag, Berlin, pp. 22–50, 1996.
M. Comini, Levi, G., Meo, M. C., and Vitiello, G.,
“Abstract Diagnosis”,
Journal of Logic Programming, vol. 39, pp. 43–93, 1999.