@article{oai:k-junshin.repo.nii.ac.jp:00000279,
 author = {森永, 初代 and モリナガ, ハツヨ and Morinaga, Hatsuyo},
 journal = {研究紀要},
 month = {Mar},
 note = {P(論文)},
 pages = {113--138},
 title = {AUTOMATHについて(2)},
 volume = {25},
 year = {1995}
}