SEPARATING REGULAR LANGUAGES WITH TWO QUANTIFIER ALTERNATIONS. - PLACE, THOMAS (Logical Methods in Computer Science (LMCS), 2018)