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