Plant, Robert. 1995. “The Seventh Workshop on the Validation and Verification of Knowledge-Based Systems”. AI Magazine 16 (3):69. https://doi.org/10.1609/aimag.v16i3.1151.