TY  - RPRT
TI  - Where Pigeonhole Principles meet König Lemmas
AU  - David Belanger
AU  - Chitat Chong
AU  - Wei Wang
AU  - Tin Lok Wong
AU  - Yue Yang
PY  - 2019
UR  - https://arxiv.org/abs/1912.03487
ID  - 1912.03487
ER  -