@techreport{weko_204051_1,
   author	 = "川上,直人 and 池田,心 and 石井,岳史 and 橋本,剛",
   title	 = "後退解析による詰めガイスター問題の列挙",
   year 	 = "2020",
   institution	 = "北陸先端科学技術大学院大学, 北陸先端科学技術大学院大学, 北陸先端科学技術大学院大学, 松江工業高等専門学校",
   number	 = "13",
   month	 = "mar"
}