TY  - RPRT
TI  - Distilling Programs to Prove Termination
AU  - G. W. Hamilton
PY  - 2020
DO  - 10.4204/eptcs.320.10
UR  - https://arxiv.org/abs/2008.02936
ID  - 2008.02936
ER  -