M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Lucas, S.,
“Abstract Diagnosis of Functional Programs”,
Logic Based Program Synthesis and Tranformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, vol. 2664. Springer-Verlag, Berlin, 2003.
M. Comini, Gori, R., and Levi, G.,
“How to Transform an Analyzer into a Verifier”,
Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR'01), vol. 2250. Springer-Verlag, Berlin, pp. 595–609, 2001.
M. Comini,
“VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications”,
Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.