@techreport{weko_51165_1, author = "硴崎賢一", title = "制約論理型プログラミング言語における変数管理方式", year = "1991", institution = "九州工業大学情報工学部", number = "3(1990-ICS-074)", month = "jan" }