@misc{indiciae347b449ee767,
  title = {A Second-Order Formulation of Non-Termination},
  author = {Fred Mesnard and Etienne Payet},
  year = {2014},
  url = {https://arxiv.org/abs/1412.3271},
  note = {Source identifier: 1412.3271}
}