Rich omega-Words and Monadic Second-Order Arithmetic

@inproceedings{Staiger1997RichOA,
  title={Rich omega-Words and Monadic Second-Order Arithmetic},
  author={Ludwig Staiger},
  booktitle={CSL},
  year={1997}
}