@article{weko_14815_1, author = "加藤恒昭", title = "式の連言結合と項の単一化に基づく意味合成", journal = "情報処理学会論文誌", year = "1991", volume = "32", number = "8", pages = "971--980", month = "aug" }