Jeong-Yuan Su and Pei-Yung Hsiao, "ROBDD Variable Ordering for PLA-Based Boolean Functions," Proceedings of the NSC, ROC-Part A: physical Science and Engineering, Vol.19, No.6, pp. 574-581, 1995. (EI)