Walter Bucher Johann Hagauer It is Decidable Whether a Regular Language is Pure Context-Free. 233-241 1983 26 Theor. Comput. Sci. db/journals/tcs/tcs26.html#BucherH83