Raseen, Mohamed, and E Venitha. “Exact Modeling of Binary Decision Diagram Complexity”. International Journal of Engineering & Technology, vol. 7, no. 3.34, Sept. 2018, pp. 248-50, https://doi.org/10.14419/ijet.v7i3.34.18976.