Recursive Boolean Formula Minimization Algorithms for Implication Logic | IEEE Journals & Magazine | IEEE Xplore