Balder ten Cate Maarten Marx Axiomatizing the Logical Core of XPath 2.0. 134-148 2007 conf/icdt/2007 ICDT http://dx.doi.org/10.1007/11965893_10 db/conf/icdt/icdt2007.html#CateM07