Wang, Lun Yao, Almaini, A E A, "Multilevel logic simplification based on containment recursive paradigm.", , 2003