Michael Benedikt, Christoph Koch. From XQuery to relational logics. ACM Trans. Database Syst., 34(4), 2009. [doi]
@article{BenediktK09, title = {From XQuery to relational logics}, author = {Michael Benedikt and Christoph Koch}, year = {2009}, doi = {10.1145/1620585.1620592}, url = {http://doi.acm.org/10.1145/1620585.1620592}, tags = {XQuery, logic}, researchr = {https://researchr.org/publication/BenediktK09}, cites = {0}, citedby = {0}, journal = {ACM Trans. Database Syst.}, volume = {34}, number = {4}, }