Automated Conjecturing II: Chomp and Reasoned Game Play. - Bradford, Alexander; Day, J. Kain; Hutchinson, Laura; Kaperick, Bryan; Larson, C. E.; Mills, Matthew; Muncy, David; Van Cleemput, Nico (Journal of Artificial Intelligence Research, 2020)