Fischer, O. “Cognitively Plausible Heuristics to Tackle the Computational Complexity of Abductive Reasoning”. AI Magazine, vol. 13, no. 2, June 1992, p. 46, doi:10.1609/aimag.v13i2.999.