ON SEPARATION BY LOCALLY TESTABLE AND LOCALLY THRESHOLD TESTABLE LANGUAGES. - PLACE, THOMAS; VAN ROOIJEN, LORIJN; ZEITOUN, MARC (Logical Methods in Computer Science (LMCS), 2014)