Star-free languages and local divisors
  A celebrated result of Sch\"utzenberger says that a language is star-free if and only if it is is recognized by a finite aperiodic monoid. We give a new proof for this theorem using local divisors. 
Manfred Kufleitner
cs.FL