TY  - RPRT
TI  - Proof Lengths for Instances of the Paris-Harrington Principle
AU  - Anton Freund
PY  - 2017
DO  - 10.1016/j.apal.2017.01.004
UR  - https://arxiv.org/abs/1601.08185
ID  - 1601.08185
ER  -