1. Chung, P., Wang, Y., and Hajj, I. N. 1994. Logic Design Error Diagnosis and Correction, IEEE Trans. on VLSI systems,, 2.3:320–331.
2. Dressler, O., and Struss, P. 1996. The Consistency-based Approach to Automated Diagnosis of Devices, in Principles of Knowledge Representation edited by G. Brewka 267–311, CSLI Publications.
3. Reiter, R. 1987. A Theory of Diagnosis From First Principle, Artif. Intell., 32:57–95.
4. Tomita, M., Jiang, H., Yamamoto, T., and Hayashi, Y. 1990. An Algorithm For Locating Logic Design Errors, Proc. of IEEE/ACM int. conf. CAD, 468–470.
5. Tison, P. 1967. Generation of Consensus theory and application to the minimization of Boolean function, IEEE Trans. Electronic Computer, 446–456.