@incollection{rtrancl_fin,
  author={C.~Sternagel and R.~Thiemann},
  title={{Executable} {Transitive} {Closures} of {Finite} {Relations}},
  booktitle={Archive of Formal Proofs},
  publisher={\url{http://isa-afp.org/entries/Transitive-Closure.shtml}},
  month=mar,
  year=2011,
  note={Formalization},
  ISSN={2150-914x}
}

@inproceedings{CeTA,
  author    = {R.~Thiemann and C.~Sternagel},
  title     = {Certification of Termination Proofs using \ceta},
  booktitle = {Proc.\ TPHOLs'09},
  series    = {LNCS},
  volume    = {5674},
  year      = 2009,
  pages     = {452--468}
}

@inproceedings{sct,
  AUTHOR    = {C.~S. Lee and N.~D. Jones and A.~M. Ben-Amram},
  TITLE     = {The size-change principle for program termination},
  BOOKTITLE = {Proc.\ POPL~'01},
  YEAR      = {2001},
  PAGES     = {81-92},
  PUBLISHER = {ACM Press}
}
