Plant, R. “The Seventh Workshop on the Validation and Verification of Knowledge-Based Systems”. AI Magazine, vol. 16, no. 3, Sept. 1995, p. 69, doi:10.1609/aimag.v16i3.1151.