@article{oai:tsukuba.repo.nii.ac.jp:00037089,
 author = {佐々木, 重雄 and 井田, 哲雄 and IDA, Tetsuo},
 issue = {9},
 journal = {情報処理学会論文誌, IPSJ Journal},
 month = {Sep},
 pages = {2152--2160},
 title = {制約解消系を備えた関数・論理型言語の処理系とその実装},
 volume = {36},
 year = {1995},
 yomi = {イダ, テツオ}
}