Gamble, Rose. 1996. “Eighth Workshop on the Validation and Verification of Knowledge-Based Systems”. AI Magazine 17 (2):105. https://doi.org/10.1609/aimag.v17i2.1226.