@misc{indiciae657f1030ca9e,
  title = {Where Pigeonhole Principles meet König Lemmas},
  author = {David Belanger and Chitat Chong and Wei Wang and Tin Lok Wong and Yue Yang},
  year = {2019},
  url = {https://arxiv.org/abs/1912.03487},
  note = {Source identifier: 1912.03487}
}