Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs. - A. V. Pai; Rose F. Gamble; Robert Plant (Inf. Softw. Technol., 1999)