TY  - RPRT
TI  - Ehrenfeucht-Fraisse Games on Omega-Terms
AU  - Martin Huschenbett
AU  - Manfred Kufleitner
PY  - 2013
UR  - https://arxiv.org/abs/1310.3195
ID  - 1310.3195
ER  -