Balder ten Cate, Maarten Marx. Axiomatizing the Logical Core of XPath 2.0. Theory Comput. Syst., 44(4):561-589, 2009. [doi]
@article{CateM09, title = {Axiomatizing the Logical Core of XPath 2.0}, author = {Balder ten Cate and Maarten Marx}, year = {2009}, doi = {10.1007/s00224-008-9151-9}, url = {http://dx.doi.org/10.1007/s00224-008-9151-9}, tags = {XPath}, researchr = {https://researchr.org/publication/CateM09}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {44}, number = {4}, pages = {561-589}, }