TY - JOUR AU - Place, Thomas AU - van Rooijen, Lorijn AU - Zeitoun, Marc ID - 6728 IS - 3 JF - Logical Methods in Computer Science SN - 1860-5974 TI - On Separation by Locally Testable and Locally Threshold Testable Languages VL - 10 ER -