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

10.1145/2426890.2426903

http://hdl.handle.net/11390/1042202

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84873479845

http://doi.acm.org/10.1145/2426890.2426903

metadata only access