PETRA: Powerful Early Termination-Based Redundancy Analysis | IEEE Journals & Magazine | IEEE Xplore