M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A.,
“Using Datalog and Boolean Equation Systems for Program Analysis”,
Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), vol. 5596. Springer-Verlag, pp. 215–231, 2009.
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, Ballis, D., and Falaschi, M.,
“A Rewriting-based Framework for Web Sites Verification”,
Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). Elsevier, pp. 41–61, 2005.