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.
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.