Jeong-Yuan Su and Pei-Yung Hsiao, "Variable Ordering for PLA-Based ROBDD," Sixth Int. Symp. on IC Technology, Systems and Applications, Singapore, pp.337-341, Sept. 1995.