@article{article, title  = {{Algebraic Notions of Termination}},

 url = {{http://dx.doi.org/10.2168/LMCS-7(1:1)2011 }},

 year = {{2011}},

 month = {{2}},

 author = {{Jules D and Moeller B and Georg S}},

 journal = {{Logical Methods in Computer Science, Volume 7, Issue 1 (February
  11, 2011) lmcs:777}},

 note = {{Accessed on 2025/12/03}}}