Jean-Marc Desharnais Alain Abran André Mayers Julien Vilz François Gruselin Verification and Validation of a Knowledge-based System. 27-29 2004 18 KI 3 http://www.kuenstliche-intelligenz.de/Artikel/VerificationandValidationofaKnowledge-ba.htm db/journals/ki/ki18.html#DesharnaisAMVG04