Model-based reasoning: Troubleshooting

Davis, R. | Hamscher, W.

Classics 

In: Howard Shrobe, editor, Exploring Artificial Intelligence. Morgan Kaufmann,