K. Wagstaff, N. Lanza, D. Thompson, T. Dietterich, and M. Gilmore, “Guiding Scientific Discovery with Explanations Using DEMUD”, AAAI, vol. 27, no. 1, pp. 905-911, Jun. 2013.