O. Fischer, “Cognitively Plausible Heuristics to Tackle the Computational Complexity of Abductive Reasoning”, AIMag, vol. 13, no. 2, p. 46, Jun. 1992.