A General Computational Framework and Simulations of Branching Programs of Boolean Circuits Using Higher Order Logic (HOL) Software - An Insight into ECAD Tool Design Paradigm. - D. N. T. Kumar; Qufu Wei (Comput. Inf. Sci., 2012)