LORES-2: A Logic Reorganization System | IEEE Journals & Magazine | IEEE Xplore