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 28 March 2024]. Available from: https://publications.waset.org/pdf/1513.