@misc{indiciaecfcd5923aaa6,
  title = {PaSTTeL: Parallel analysiS framework for Termination and non-Termination of Lasso programs},
  author = {Anissa Kheireddine and Souheib Baarir and Hugo De Sa Pereira Pinto},
  year = {2026},
  url = {https://arxiv.org/abs/2606.18977},
  note = {Source identifier: 2606.18977}
}