@ARTICLE{ccp18,
  author = {O. Carton and T. Colcombet and G. Puppis},
  title = {An algebraic approach to MSO-definability on countable linear orderings},
  journal = {Journal of Symbolic Logic},
  volume = {83},
  number = {3},
  pages = {1147-1189},
  year = {2018},
  publisher = {Association for Symbolic Logic}
}