S. C. Shapiro, W. J. Rapaport, M. Kandefer, F. L. Johnson, and A. Goldfain, “Metacognition in SNePS”, AIMag, vol. 28, no. 1, p. 17, Mar. 2007.