@article{Frohn2022,
TITLE = {A Calculus for Modular Loop Acceleration and Non-Termination Proofs},
AUTHOR = {Frohn, Florian and Fuhs, Carsten},
LANGUAGE = {eng},
ISSN = {1433-2779},
DOI = {10.1007/s10009-022-00670-2},
PUBLISHER = {Springer},
ADDRESS = {Berlin},
YEAR = {2022},
DATE = {2022},
JOURNAL = {International Journal on Software Tools for Technology Transfer},
VOLUME = {24},
PAGES = {691--715},
}