Naoki Nishida, Makishi Yanagisawa, Karl Gmeiner. On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings. In Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, Yuki Chiba, editors, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2014, July 13, 2014, Vienna, Austria. Volume 40 of OASICS, pages 39-50, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]
Abstract is missing.