A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems. - Brian J. Cragun; Harold J. Steudel (Int. J. Man Mach. Stud., 1987)