Elke Steven Michael Hoenen Matthias Kloth Testability of Expert Systems in System Development and Application. 337-344 1992 6 AI Soc. 4 db/journals/ais/ais6.html#StevenHK92