Pei-Yung Hsiao, Ruey-Tzer Liaw, and Jeong-Yuan Su, "Using Ordered Binary Decision Diagrams to Factorize Multi-level Logic," Int. Journal of Circuits, Systems and Signal Processing, Vol.15, No.3, pp.361-376, 1996. (SCI)