Proving non-termination and lower runtime bounds with \textsf{LoAT} (system description)
scientific article; zbMATH DE number 7628217