Transformation for Refining Unraveled Conditional Term Rewriting Systems. - Naoki Nishida 001; Tomohiro Mizutani; Masahiko Sakai (WRS@FLoC, 2006)