The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy. - Kufleitner, Manfred; Wächter, Jan Philipp (Theory of Computing Systems, 2018)