1. [ARS] and , ‘Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis’, MIT Artificial Intelligence Laboratory Memo 380, Cambridge, Massachusetts, (1976). Also in
2. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
3. [INTER] ‘Local methods for localization of faults in electronic circuits’, MIT Artificial Intelligence Laboratory Memo 394, Cambridge, Massachusetts, (1976).