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., and Falaschi, M.,
“Rule-based Verification of Web Sites”,
International Journal on Software Tools for Technology Transfer (STTT), vol. 8, pp. 565–585, 2006.