Gregory M. Provan, David L. Poole: The Utility of Consistency-Based Diagnostic Techniques. KR 1991: 461-472