@article{weko_13170_1, author = "徐良為 and 武市,正人 and 岩崎,英哉", title = "関係代数によるUNITYループの意味づけ", journal = "情報処理学会論文誌", year = "1998", volume = "39", number = "3", pages = "646--655", month = "mar" }