@misc{oai:uec.repo.nii.ac.jp:00001670,
 author = {清野, 和司 and Seino, Kazushi},
 month = {2016-09-21},
 note = {2007},
 title = {直接的分岐アルゴリズムによる決定性プッシュダウン変換器の等価性判定},
 year = {},
 yomi = {セイノ, カズシ}
}