E. C. Freuder, “Relating the Structure of a Problem and Its Explanation”, AAAI, vol. 33, no. 01, pp. 9765-9769, Jul. 2019.