P. W. C. Prasad and  A. Assi and  M. Raseen and  A. Harb,  Selective Minterms Based Tabular Method for BDD Manipulations.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    March 2007, vol. 3(3). 810 - 813
    [viewed 09 April 2020]. Available from: https://publications.waset.org/pdf/1513.