G. Antoniou, F. van Harmelen, R. Plant, and J. Vanthienen, “Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events”, AIMag, vol. 19, no. 3, p. 123, Sep. 1998.