A Recursion and Lock Free GPU-Based Logic Rewriting Framework Exploiting Both Intranode and Internode Parallelism | IEEE Journals & Magazine | IEEE Xplore