The use of design descriptions in automated diagnosis

Genesereth, M. R.

Classics 

Artificial Intelligence, 24 (1-3), 411-36.