Gregory M. Provan, David L. Poole
The Utility of Consistency-Based Diagnostic Techniques
KR, 1991.
@inproceedings{KR-1991-ProvanP,
author = "Gregory M. Provan and David L. Poole",
booktitle = "{Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning}",
isbn = "1-55860-165-1",
pages = "461--472",
publisher = "{Morgan Kaufmann}",
title = "{The Utility of Consistency-Based Diagnostic Techniques}",
year = 1991,
}