M. Raseen and A.Assi and P.W. C. Prasad and A. Harb, BDD Package Based on Boolean NOR Operation. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. March 2007, vol. 3(3). 819 - 822 [viewed 20 September 2024]. Available from: https://publications.waset.org/pdf/10789.