Léo Robert, Daiki Miyahara, Pascal Lafourcade, and Takaaki Mizuki, “Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake,” New Generation Computing, Vol.40, pp.149–171  (Mar., 2022).