SEPARATION FOR DOT-DEPTH TWO. - PLACE, THOMAS; ZEITOUN, MARC (Logical Methods in Computer Science (LMCS), 2021)