TY  - RPRT
TI  - A generic polynomial time approach to separation by first-order logic without quantifier alternation
AU  - Thomas Place
AU  - Marc Zeitoun
PY  - 2022
UR  - https://arxiv.org/abs/2210.00946
ID  - 2210.00946
ER  -