TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems.

Marco Comini, Luca Torella

Browse the full PEPM paper archive.