@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00238939,
 author = {繁田, 良則 and 赤間, 清 and 宮本, 衛市 and Shigeta, Yoshinori and Akama, Kiyoshi and Miyamoto, Eiichi},
 book = {第34回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {167--176},
 publisher = {情報処理学会},
 title = {一般化論理プログラムからみた項書換え系},
 volume = {1993},
 year = {1993}
}