LTS Termination Proof

by AProVE

Input

Integer Transition System