You are here

TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems