Laurence Vignollet Marc Ayel A Model for Testing Knowledge Bases. 104-109 1990 conf/seke/1990 SEKE db/conf/seke/seke1990.html#VignolletA90