Maarten Marx Logical Foundations of XML and XQuery. 111-157 2009 Reasoning Web http://dx.doi.org/10.1007/978-3-642-03754-2_3 conf/rweb/2009 db/conf/rweb/rweb2009.html#Marx09