Linear Termination is Undecidable.

Fabian Mitterwallner, Aart Middeldorp, Ren Thiemann

Browse the full LICS paper archive.