AProVE

Analysis of Term Rewrite System (WST Format)

Accepted file formats: trs

Version Termcomp2019
Disclaimer