Multi-level logic minimization using implicit don't cares | IEEE Journals & Magazine | IEEE Xplore