Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, and Léo Robert, Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun, New Generation Computing, vol. 42, pp. 449–477 (Aug. 2024)