R. Plant, “The Seventh Workshop on the Validation and Verification of Knowledge-Based Systems”, AIMag, vol. 16, no. 3, p. 69, Sep. 1995.