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