XPath satisfiability with downward and sibling axes is tractable under most of real-world DTDs

Yasunori Ishihara, Kenji Hashimoto, Shougo Shimizu, Toru Fujiwara. XPath satisfiability with downward and sibling axes is tractable under most of real-world DTDs. In George H. L. Fletcher, Prasenjit Mitra, editors, Proceedings of the Twelfth International Workshop on Web Information and Data Management, WIDM 2012, Maui, HI, USA, November 02, 2012. pages 11-18, ACM, 2012. [doi]

@inproceedings{IshiharaHSF12,
  title = {XPath satisfiability with downward and sibling axes is tractable under most of real-world DTDs},
  author = {Yasunori Ishihara and Kenji Hashimoto and Shougo Shimizu and Toru Fujiwara},
  year = {2012},
  doi = {10.1145/2389936.2389941},
  url = {http://doi.acm.org/10.1145/2389936.2389941},
  researchr = {https://researchr.org/publication/IshiharaHSF12},
  cites = {0},
  citedby = {0},
  pages = {11-18},
  booktitle = {Proceedings of the Twelfth International Workshop on Web Information and Data Management, WIDM 2012, Maui, HI, USA, November 02, 2012},
  editor = {George H. L. Fletcher and Prasenjit Mitra},
  publisher = {ACM},
  isbn = {978-1-4503-1720-7},
}