@article{oai:tsukuba.repo.nii.ac.jp:00037091,
 author = {浜名, 誠 and 西岡, 知之 and 中原, 鉱一 and アートミデルドープ and 井田, 哲雄 and IDA, Tetsuo},
 issue = {8},
 journal = {情報処理学会論文誌, IPSJ Journal},
 month = {Aug},
 pages = {1897--1905},
 title = {作用型項書換え系に基づく関数論理型言語の設計と実装},
 volume = {36},
 year = {1995},
 yomi = {イダ, テツオ}
}