María Alpuente Michele Baggi Demis Ballis Moreno Falaschi Semantic Verification of Web System Contents. 437-446 2008 ER Workshops http://dx.doi.org/10.1007/978-3-540-87991-6_51 conf/er/2008w db/conf/er/erw2008.html#AlpuenteBBF08