LTS Termination Proof

by T2Cert

Input

Integer Transition System