Anomaly checks on knowledge-based systems - Lim, Eng Lian (1989)