Jorge Coelho, Mário Florido. VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. In Heng Tao Shen, Jinbao Li, Minglu Li, Jun Ni, Wei Wang, editors, Advanced Web and Network Technologies, and Applications, APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006, Proceedings. Volume 3842 of Lecture Notes in Computer Science, pages 148-156, Springer, 2006. [doi]