ConCon

1. Input Conditional Term Rewrite System

For input use the standard TRS format .
or upload file

2. Select Action

3. Start ConCon

timeout:
41