Binary Cycle Codes Have Optimal Stopping Redundancy. - Yingnan Qi; Chuhong Tang; Haiyang Liu; Lianrong Ma (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2025)