TY  - RPRT
TI  - A Second-Order Formulation of Non-Termination
AU  - Fred Mesnard
AU  - Etienne Payet
PY  - 2014
UR  - https://arxiv.org/abs/1412.3271
ID  - 1412.3271
ER  -