A logical approach to decidability of hierarchies of regular star-free languagesСеливанов, Виктор Львович200020 с.