Zhivko Nedev, “Development of An O(n)-Round Strategy for the Magnus-Derek Game”, RAMRCS-V10, pp. 138–147, Mar. 2022.