Congruence Closure of Compressed Terms in Polynomial Time. - Manfred Schmidt-Schauß; David Sabel; Altug Anis (FroCoS, 2011)