On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings. - Naoki Nishida 001; Makishi Yanagisawa; Karl Gmeiner (WPTE@RTA/TLCA, 2014)