Ikwunne, T. A. ., and S. O. . Okide. “Interactive Algorithms for the Verification of the Equality Between Complex and Simplified Boolean-Algebra Expressions in Digital Decoders”. Review of Computer Engineering Research, vol. 7, no. 1, Apr. 2020, pp. 27-37, doi:10.18488/journal.76.2020.71.27.37.