TY  - RPRT
TI  - The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
AU  - Manfred Kufleitner
AU  - Jan Philipp Wächter
PY  - 2017
DO  - 10.1007/s00224-017-9763-z 10.1007/978-3-319-34171-2_17
UR  - https://arxiv.org/abs/1509.05364
ID  - 1509.05364
ER  -