AProVE Help: Complexity Integer Term Rewrite System

Complexity Integer Term Rewrite Systems are a special form of integer term rewrite systems that is used for complexity analysis. For further details, we refer to our paper at TACAS 2014. Each cint file consists of four parts: