@article{oai:uec.repo.nii.ac.jp:00008214,
 author = {清野, 和司 and 富田, 悦次 and Seino, Kazushi and Tomita, Etsuji},
 issue = {2},
 journal = {電気通信大学紀要, Bulletin of the University of Electro-Communications},
 month = {Dec},
 pages = {141--156},
 title = {The Extended Equivalence Problem for a Class WSP of Non-Real-Time DPDA's : The Detailed Proofs},
 volume = {7},
 year = {1994},
 yomi = {セイノ, カズシ and トミタ, エツジ}
}