Automated Conjecturing II: Chomp and Reasoned Game Play. - Alexander Bradford; J. Kain Day; Laura Hutchinson; Bryan Kaperick; Craig E. Larson; Matthew Mills; David Muncy; Nico Van Cleemput (J. Artif. Intell. Res., 2020)