Automated Termination in Model Checking Modulo Theories
scientific article; zbMATH DE number 5954747