@techreport{weko_234051_1,
   author	 = "原田,崇司 and 竹内,聖悟",
   title	 = "横断を用いたZDD上のBlockingの探索",
   year 	 = "2024",
   institution	 = "高知工科大学情報学群, 高知工科大学情報学群",
   number	 = "12",
   month	 = "may"
}