@techreport{weko_214560_1, author = "小島,和之 and 関,浩之", title = "木分解の圧縮および解集合プログラミングによる問合せ", year = "2021", institution = "名古屋大学大学院情報学研究科, 名古屋大学大学院情報学研究科", number = "3", month = "dec" }