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