Complete axiomatizations for XPath fragments
scientific article; zbMATH DE number 5720205
scientific article