1. The Design and Analysis of Computer Algorithms;Aho,1974
2. A critical analysis of “Model-Based Diagnosis Meets Error Diagnosis in Logic Programs”, Technical Report SCE-94-15;Bond,1994
3. Logic programs for consistency-based diagnosis, Ph.D. Thesis;Bond,1994
4. A synthesis of logical and probabilistic reasoning for program understanding and debugging;Burnell,1993
5. Structure and chance: Melding logic and probability for software debugging;Burnell;Comm. ACM,1995