R. Gamble, “Eighth Workshop on the Validation and Verification of Knowledge-Based Systems”, AIMag, vol. 17, no. 2, p. 105, Mar. 1996.