Léo Robert, Daiki Miyahara, Pascal Lafourcade, and Takaaki Mizuki, “Hide a liar: Card-Based ZKP Protocol for Usowan,” In Proc. Annual Conference on Theory and Applications of Models of Computation (TAMC 2022), LNCS 13571, Springer-Verlag, pp.201–217 (Aug. 2022).