Human-verifiable proofs in the theory of word-representable graphs Sergey Kitaev and Haoran Sun RAIRO-Theor. Inf. Appl., 58 (2024) 9 Published online: 26 March 2024 DOI: 10.1051/ita/2024004