Daiki Miyahara, Pascal Lafourcade, and Maxime Puys, “Card-Based ZKP Protocols for Connectivity-Based Puzzles: Extending to Tree Structures with Application to Nurimeizu,” 13th International Conference on Fun with Algorithms (FUN 2026), LIPIcs 366, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, pp. 35:1–35:13 (May 2026).