Efficient-algorithms-for-checking-equivalence-of-compressed-strings