@misc{indiciaecf212b80f890,
  title = {Human-verifiable proofs in the theory of word-representable graphs},
  author = {Sergey Kitaev and Haoran Sun},
  year = {2023},
  url = {https://arxiv.org/abs/2110.05405},
  note = {Source identifier: 2110.05405}
}