@misc{indiciae5bfd00c4e96c,
  title = {Tree-like resolution complexity of two planar problems},
  author = {Dmitry Itsykson and Anna Malova and Vsevolod Oparin and Dmitry Sokolov},
  year = {2014},
  url = {https://arxiv.org/abs/1412.1124},
  note = {Source identifier: 1412.1124}
}