A verifier for interactive, data-driven web applications (2005)

by A Deutsch, M Marcus, L Sui, V Vianu, D Zhou
Venue:In SIGMOD