T. Feng, Wang, L. - C., Cheng, K. - T. Tim, and Lin, C. - C. Andy,
“Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator”,
ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 10, pp. 627–650, 2005.