Zetzsche, Georg Group G. Zetzsche, Max Planck Institute for Software Systems, Max Planck Society;
Zetzsche, G. (2018). Separability by Piecewise Testable Languages and Downward Closures Beyond Subwords. In LICS'18 (pp. 929-938). New York, NY: ACM. doi:10.1145/3209108.3209201.