M. Raseen and E. Venitha, “Exact Modeling of Binary Decision Diagram Complexity”, IJET, vol. 7, no. 3.34, pp. 248–250, Sep. 2018, doi: 10.14419/ijet.v7i3.34.18976.