@misc{indiciaeca68dcf5be51,
  title = {Table-based Quantifier Elimination},
  author = {Pierre Carbonnelle},
  year = {2026},
  url = {https://arxiv.org/abs/2602.19102},
  note = {Source identifier: 2602.19102}
}