Ikwunne, Tochukwu Arinze, and Samuel Obiora Okide. “Interactive Algorithms for the Verification of the Equality Between Complex and Simplified Boolean-Algebra Expressions in Digital Decoders”. Review of Computer Engineering Research 7, no. 1 (April 13, 2020): 27–37. Accessed May 18, 2024. https://archive.conscientiabeam.com/index.php/76/article/view/1476.