@techreport{weko_30889_1, author = "山崎,進", title = "論理プログラムに対する等価な置換集合の操作機構としてのデータフロー", year = "1990", institution = "岡山大学工学部", number = "44(1990-PRO-035)", month = "may" }