Glenn R. Case, Jerry D. Stauffer. SALOGS-IV-A program to perform logic simulation and fault diagnosis. In Stephen A. Szygenda, editor, Proceedings of the 15th Design Automation Conference, DAC '78, Las Vegas, Nevada, USA, June 19-21, 1978. pages 392-397, ACM, 1978. [doi]
Abstract is missing.