How to construct physical zero-knowledge proofs for puzzles with a ``single loop'' condition

From MaRDI portal