Testing knowledge-based systems : a case study and implications
Heino, P.
;
Jaakkola, Hannu
;
Tepandi, Jaak
Proceedings of the SAFECOMP '92
1992