"The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy."

Manfred Kufleitner, Jan Philipp Wächter (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics