@misc{indiciae6dce71b34c54,
  title = {DynamiTe: Dynamic Termination and Non-termination Proofs},
  author = {Ton Chanh Le and Timos Antonopoulos and Parisa Fathololumi and Eric Koskinen and ThanhVu Nguyen},
  year = {2020},
  url = {https://arxiv.org/abs/2010.05747},
  note = {Source identifier: 2010.05747}
}