1. Tom Bylander, Dean Allemang, Michael C. Tanner, and John R. Josephson. Some results concerning the computational complexity of abduction. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pages 44–54, Toronto, May 1989. Morgan Kaufmann Publishers, Inc.
2. Randall Davis. Diagnostic reasoning based on structure and behaviour. Artificial Intelligence, 224:347–410, 1984.
3. Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97–130, 1987.
4. Michael R. Garey and David S. Johnson. Computers and Intractability. W. H. Freeman and Company, New York, 1979.
5. C. L. Luccesi and S. L. Osborne. Candidate keys for relations. Journal of Computing and System Science, 12(2):270–279, 1978.