Horrocks, I. & Tessaris, S. (2002), Querying the Web: A formal Approach, in 'teDBLP:conf/semweb/2002', pp. 177--191.