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, Damiani, F., and Vrech, S.,
“On Polymorphic Recursion, Type Systems, and Abstract Interpretation”,
Static Analysis – 15th International Symposium, SAS 2008, vol. 5079. Springer-Verlag, Berlin, pp. 144–158, 2008.
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.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A.,
“The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages”,
Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), vol. 17. Budapest, Hungary, pp. 144-153, 2012.