Li-Min Fu: Detection of semantically incorrect rules in knowledge-based systems. Knowl. Based Syst. 5(2): 117-124 (1992)