Antoniou, G., F. van Harmelen, R. Plant, and J. Vanthienen. “Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events”. AI Magazine, vol. 19, no. 3, Sept. 1998, p. 123, doi:10.1609/aimag.v19i3.1400.