TY  - RPRT
TI  - The existential fragment of S1S over element and successor is the co-Buchi languages
AU  - Egor Ianovski
PY  - 2014
UR  - https://arxiv.org/abs/1401.4932
ID  - 1401.4932
ER  -