Complete axiomatizations for XPath fragments

Balder ten Cate, Tadeusz Litak, Maarten Marx. Complete axiomatizations for XPath fragments. J. Applied Logic, 8(2):153-172, 2010. [doi]

Abstract

Abstract is missing.