@misc{indiciaeb9c524f70c96,
  title = {The complexity of proving that a graph is Ramsey},
  author = {Massimo Lauria and Pavel Pudlák and Vojtěch Rödl and Neil Thapen},
  year = {2013},
  url = {https://arxiv.org/abs/1303.3166},
  note = {Source identifier: 1303.3166}
}