T. A. . Ikwunne and S. O. . Okide, “Interactive Algorithms for the Verification of the Equality between Complex and Simplified Boolean-Algebra Expressions in Digital Decoders”, 76, vol. 7, no. 1, pp. 27–37, Apr. 2020.