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.
S. Flores, Lucas, S., and Villanueva, A.,
“Formal Verification of Websites”,
Proceedings of the 16th International Workshop on Automated Specification and Verification of Web Sites (WWV'07). San Servolo, Venice, Italy, pp. 83–97, 2007.
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., 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.