@article{article, title = {{Algebraic Notions of Termination}}, url = {{http://dx.doi.org/10.2168/LMCS-7(1:1)2011 }}, year = {{2010}}, month = {{12}}, author = {{Jules D and Moeller B and Georg S}}, doi = {{10.2168/LMCS-7(1:1)2011}}, journal = {{Logical Methods in Computer Science, Volume 7, Issue 1 (February 11, 2011) lmcs:777}}, note = {{Accessed on 2025/08/14}}}