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