P.W. C. Prasad and  A. Assi and  A. Harb and  V.C. Prasad,  Binary Decision Diagrams: An Improved Variable Ordering using Graph Representation of Boolean Functions.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    February 2008, vol. 14(2). 523 - 529
    [viewed 25 April 2024]. Available from: https://publications.waset.org/pdf/6093.