@misc{indiciae684679479b1b, title = {An algebraic approach to MSO-definability on countable linear orderings}, author = {Olivier Carton and Thomas Colcombet and Gabriele Puppis}, year = {2018}, url = {https://arxiv.org/abs/1702.05342}, note = {Source identifier: 1702.05342} }