Pei-Yung Hsiao, Ruey-Tzer Liaw, and Jeong-Yuan Su, "PLA-Based Boolean Factorization Using ROBDD," IEEE Region 10 Int. Conf. on Microelectronics and VLSI, Hong Kong, pp.171-174, Nov., 1995. (EI)