Formal Verification and Diagnosis of CombinationalCircuit Designs with Propositional Logic. - Shie-Jue Lee; Wei-Jer Lin (Fundam. Informaticae, 1997)