TY  - RPRT
TI  - Linear Termination over N is Undecidable
AU  - Fabian Mitterwallner
AU  - Aart Middeldorp
AU  - René Thiemann
PY  - 2023
UR  - https://arxiv.org/abs/2307.14805
ID  - 2307.14805
ER  -