A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages.

Victor L. Selivanov

Browse the full STACS paper archive.