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.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“Completeness of Unfolding for Rewriting Logic Theories”,
12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. IEEE Computer Society Press, pp. 116–123, 2010.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A.,
“Defining Datalog in Rewriting Logic”,
Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'09), vol. 6037. Springer-Verlag, pp. 188–204, 2010.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M.,
“A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT”,
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M.,
“An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs”,
Theoretical Computer Science, vol. 411, no. 47, 2010.