A. V. Pai, Rose F. Gamble, Robert Plant. Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs. Information \& Software Technology, 41(10):627-638, 1999. [doi]
No references recorded for this publication.
No citations of this publication recorded.