You are here

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

M. Comini and Torella, L., “TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems”, ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM'13). 2013.