@article{oai:metro-cit.repo.nii.ac.jp:00000071,
 author = {中西, 泰雄 and nakanishi, Yasuo},
 journal = {東京都立産業技術高等専門学校研究紀要, Research reports of Tokyo Metropolitan College of Industrial Technology},
 month = {Mar},
 note = {P(論文)},
 pages = {69--74},
 title = {LKからNKへの証明の書き換えについて},
 volume = {3},
 year = {2009},
 yomi = {ナカニシ, ヤスオ}
}