TY  - RPRT
TI  - Proving programs terminate using well orderings, Ramsey Theory, and Matrices
AU  - William Gasarch
PY  - 2014
UR  - https://arxiv.org/abs/1108.3347
ID  - 1108.3347
ER  -