M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O.,
“A Fast Algebraic Web Verification Service”,
Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.
D. Ballis and Vivó, J. G.,
“A Rule-based System for Web Site Verification”,
Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), vol. 157. Elsevier, pp. 153–156, 2006.