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, Feliú, M. A., Joubert, C., and Villanueva, A.,
“DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer”,
Electronic Notes in Theoretical Computer Science, vol. 248, pp. 57–66, 2009.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A.,
“An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation”,
Electronic Notes in Theoretical Computer Science, vol. 206, pp. 3–21, 2008.
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.