@article{DesharnaisMoellerStruth2018,
  author    = {Jules Desharnais and Bernhard M{\"o}ller and Georg Struth},
  title     = {Algebraic Notions of Termination},
  journal   = {Logical Methods in Computer Science},
  volume    = {7},
  number    = {1},
  pages     = {1 -- 29},
  doi       = {10.2168/LMCS-7(1:1)2011},
  year      = {2018},
}