@misc{indiciaeaf94eed2214b,
  title = {Proof compression and NP versus PSPACE. Part 2},
  author = {Lev Gordeev},
  year = {2019},
  url = {https://arxiv.org/abs/1907.03858},
  note = {Source identifier: 1907.03858}
}