Place, Thomas, et al. “On Separation by Locally Testable and Locally Threshold Testable Languages.”10.2168/lmcs-10(3:24)2014__Logical Methods in Computer Science, vol. 10, no. 3, Logical Methods in Computer Science e.V., 2014, doi:10.2168/lmcs-10(3:24)2014.