@misc{indiciae5c627290be41,
  title = {Local Termination: theory and practice},
  author = {Joerg Endrullis and Roel de Vrijer and Johannes Waldmann},
  year = {2010},
  doi = {10.2168/lmcs-6(3:20)2010},
  url = {https://arxiv.org/abs/1006.4955},
  note = {Source identifier: 1006.4955}
}