Andrade, L. P. de; Tirado, A. C. S. B.; Brusamolin, V.; Gomes, M. das N. Solving a Hypothetical Chess Problem: A Comparative Analysis of Computational Methods and Human Reasoning. RBCA 2019, 11, 96-103.