Karl Gmeiner, Naoki Nishida 0001. Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems. 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 3-14, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]
Abstract is missing.