@article{oai:tsukuba.repo.nii.ac.jp:00029198, author = {鈴木, 伸崇 and SUZUKI, Nobutaka and FUKUSHIMA, Yuji and IKEDA, Kosetsu}, issue = {5}, journal = {IEICE Transactions on Information and Systems}, month = {May}, pages = {1029--1042}, title = {Satisfiability of Simple XPath Fragments under Duplicate-Free DTDs}, volume = {E96-D}, year = {2013}, yomi = {スズキ, ノブタカ} }