Some New Types of Logical Completeness. - S. Karunanithi; Arthur D. Friedman (IEEE Trans. Computers, 1978)

Analysis of Digital Systems Using a New Measure of System Diagnosis. - S. Karunanithi; Arthur D. Friedman (IEEE Trans. Computers, 1979)