Freuder, E. C. Relating the Structure of a Problem and Its Explanation. AAAI 2019, 33, 9765-9769.