@techreport{weko_182701_1, author = "笹野,智裕 and 西田,直樹 and 酒井,正彦 and 上山,智也", title = "制約付き項書換え系の依存鎖を上限付き整数増加列に変換する多項式解釈", year = "2017", institution = "名古屋大学大学院情報科学研究科, 名古屋大学大学院情報学研究科, 名古屋大学大学院情報学研究科, 名古屋大学大学院情報科学研究科", number = "23", month = "jul" }