Three Pragmatic Tools for the Validation of Knowledge-Based Systems. - Sylvain Petitjean; L. Brunessaux; Jean-Philippe Vaudet (EUROVAV, 1991)