Antoniou, Grigoris, Frank van Harmelen, Robert Plant, and Jan Vanthienen. 1998. “Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events”. AI Magazine 19 (3):123. https://doi.org/10.1609/aimag.v19i3.1400.