B. Juba, “Learning Abductive Reasoning Using Random Examples”, AAAI, vol. 30, no. 1, Feb. 2016.