%0 Journal Article %A Abel, Andreas %T Termination checking with types %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2004 %P 277-319 %V 38 %N 4 %I EDP-Sciences %U https://doi.org/10.1051/ita:2004015 %R 10.1051/ita:2004015 %G en %F ITA_2004__38_4_277_0