TY  - RPRT
TI  - Algebraic Notions of Termination
AU  - Desharnais Jules
AU  - Bernhard Moeller
AU  - Struth Georg
PY  - 2011
DO  - 10.2168/lmcs-7(1:1)2011
UR  - https://arxiv.org/abs/1012.5803
ID  - 1012.5803
ER  -