@misc{indiciaeab66c1d2530b, title = {Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals}, author = {Alexis Bès and Christian Choffrut}, year = {2018}, url = {https://arxiv.org/abs/1805.03028}, note = {Source identifier: 1805.03028} }