Recompression: a simple and powerful technique for word equations.

Artur Jez

Browse the full STACS paper archive.