TY  - RPRT
TI  - Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms
AU  - Manfred Kufleitner
AU  - Jan Philipp Wächter
PY  - 2014
UR  - https://arxiv.org/abs/1411.0593
ID  - 1411.0593
ER  -