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, Gori, R., and Levi, G.,
“Logic programs as specifications in the inductive verification of logic programs”,
Declarative Programming – Selected Papers from AGP 2000, vol. 48. Elsevier Science Publishers, pp. 1–16, 2001.
M. Comini, Levi, G., and Meo, M. C.,
“Compositionality of SLD-derivations and their abstractions”,
Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 561–575, 1995.