Marco Comini, Luca Torella. Automatic Inference of Term Equivalence in Term Rewriting Systems. In Laura Kovács, Temur Kutsia, editors, 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013. Volume 15 of EPiC Series, pages 19-30, EasyChair, 2013. [doi]
Abstract is missing.