Satisfiability of Simple XPath Fragments under Duplicate-Free DTDs

Nobutaka Suzuki, Yuji Fukushima, Kosetsu Ikeda. Satisfiability of Simple XPath Fragments under Duplicate-Free DTDs. IEICE Transactions, 96-D(5):1029-1042, 2013. [doi]

@article{SuzukiFI13,
  title = {Satisfiability of Simple XPath Fragments under Duplicate-Free DTDs},
  author = {Nobutaka Suzuki and Yuji Fukushima and Kosetsu Ikeda},
  year = {2013},
  url = {http://search.ieice.org/bin/summary.php?id=e96-d_5_1029},
  researchr = {https://researchr.org/publication/SuzukiFI13},
  cites = {0},
  citedby = {0},
  journal = {IEICE Transactions},
  volume = {96-D},
  number = {5},
  pages = {1029-1042},
}