A logic oriented diagnostic program

Herman Jacobowitz
1967 Proceedings of the April 18-20, 1967, spring joint computer conference on - AFIPS '67 (Spring)  
doi:10.1145/1465482.1465605 dblp:conf/afips/Jacobowitz67 fatcat:xxcizbd3p5abzfcafwfk3sguoa