Diagnostic reasoning based on structure and behavior (1984)

by Randall Davis
Venue:MIT Artificial Intelligence Laboratory, AIM 739. (also in Artificial Intelligence