M. Comini, Levi, G., Meo, M. C., and Vitiello, G.,
“Abstract Diagnosis”,
Journal of Logic Programming, vol. 39, pp. 43–93, 1999.
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.