G. Bacci and Comini, M.,
“Abstract Diagnosis of First Order Functional Logic Programs”,
Logic-Based Program Synthesis and Transformation – 20th International Symposium – Pre-Proceedings, vol. 10-14. Hagenberg, Austria, pp. 58–72, 2010.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A.,
“Automatic Synthesis of Specifications for Curry Programs”,
Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.
G. Bacci and Comini, M.,
“Abstract Diagnosis of First Order Functional Logic Programs”,
Logic-based Program Synthesis and Transformation, 20th International Symposium, vol. 6564. Springer-Verlag, Berlin, p. 215--233, 2011.
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”,
ICLP (Technical Communications), vol. To appear. Schloss Dagstuhl - Leibniz-Zentrum Fuer Informatik, 2012.
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.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A.,
“Automatic Synthesis of Specifications for First Order Curry Programs”,
Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, New York, NY, USA, pp. 25–34, 2012.