Symbolic Analysis and Reduction of VLSI Circuits - Qin, Zhanhai; Cheng, Chung-Kuan; Tan, Sheldon X. D. (Springer US, 2005)