Decidable Classes of Inductive Theorems -- Automated Incremental Termination Proofs for