Wang, L. Y., & Almaini, A. E. A. (2003). Multilevel logic simplification based on containment recursive paradigm. IEE proceedings. Computers and digital techniques, 150, 218-226. https://doi.org/10.1049/ip-cdt%3A20030575