Human-verifiable proofs in the theory of word-representable graphsSergey Kitaev and Haoran SunRAIRO-Theor. Inf. Appl., 58 (2024) 9DOI: https://doi.org/10.1051/ita/2024004
