Finite acceptance of infinite words - Litovsky, Igor; Staiger, Ludwig (RWTH, Fachgruppe Informatik, 1994)