Consistency checking for MOS/VLSI circuits. - Ning-Sang Chang; Ravi Apte (DAC, 1983)