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.
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, 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, 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.