Giesl, JürgenWagner, StefanLichter, Horst2018-10-242018-10-242013978-3-88579-609-1https://dl.gi.de/handle/20.500.12116/17371enAutomated termination analysis: from term rewriting to programming languagesText/Conference Paper1617-5468