@inproceedings{Frohn_SAS2020,
TITLE = {Termination of Polynomial Loops},
AUTHOR = {Frohn, Florian and Hark, Marcel and Giesl, J{\"u}rgen},
LANGUAGE = {eng},
ISBN = {978-3-030-65473-3},
DOI = {10.1007/978-3-030-65474-0_5},
PUBLISHER = {Springer},
YEAR = {2020},
DATE = {2021},
BOOKTITLE = {Static Analysis (SAS 2020)},
EDITOR = {Pichardie, David and Sighireanu, Mihaela},
PAGES = {89--112},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {12389},
ADDRESS = {Chicago, IL, USA (Online Event)},
}