by Balder ten Cate, Tadeusz Litak and Maarten Marx
Reference:
Balder ten Cate, Tadeusz Litak and Maarten Marx: Complete axiomatizations for XPath fragments, In Journal of Applied Logic, 8(2), pp. 153–172, 2010. Selected papers from the Logic in Databases Workshop 2008 edited by Andrea Calí, Laks V.S. Lakshmanan and Davide Martinenghi
Bibtex Entry:
@article{tCateLM10:jal,
title = "Complete axiomatizations for {XPath} fragments ",
journal = "Journal of Applied Logic ",
volume = "8",
number = "2",
pages = "153--172",
year = "2010",
note = "Selected papers from the Logic in Databases Workshop 2008 edited by Andrea Cal\'{i}, Laks V.S. Lakshmanan and Davide Martinenghi",
issn = "1570-8683",
doi = "http://dx.doi.org/10.1016/j.jal.2009.09.002",
url = "http://www.sciencedirect.com/science/article/pii/S1570868309000421",
author = "Balder ten Cate and Tadeusz Litak and Maarten Marx",
keywords = "\{XML\}",
keywords = "\{XPath\}",
keywords = "Query rewriting",
keywords = "Axiomatization",
keywords = "Modal logic "
}