SEPARATING REGULAR LANGUAGES WITH FIRST-ORDER LOGIC. - PLACE, THOMAS; ZEITOUN, MARC (Logical Methods in Computer Science (LMCS), 2016)