Gregory Provan
Rockwell Scientific Company, Thousand Oaks, CA
Model-based diagnosis using structured system descriptions
Journal of Artificial Intelligence Research