Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity (Logical Methods in Computer Science, 2012)