Proving Cycle Termination

Input Rewrite System (as SRS in WST format)

File upload
Configuration
method:
transformation:
prover:
timeout:
cycle termination