@misc{indiciaecaa514323afb,
  title = {Lazard's Elimination (in traces) is finite-state recognizable},
  author = {Gérard Duchamp and Jean-Gabriel Luque},
  year = {2006},
  url = {https://arxiv.org/abs/math/0607280},
  note = {Source identifier: math/0607280}
}