María Alpuente Demis Ballis Moreno Falaschi Pedro Ojeda Daniel Romero A Fast Algebraic Web Verification Service. 239-248 2007 conf/rr/2007 RR http://dx.doi.org/10.1007/978-3-540-72982-2_18 db/conf/rr/rr2007.html#AlpuenteBFOR07