Separability by piecewise testable languages and downward closures beyond subwords.

Georg Zetzsche

Browse the full LICS paper archive.