@misc{indiciae8b7a70773521,
  title = {Enumerating Minimal Unsatisfiable Cores of LTLf formulas},
  author = {Antonio Ielo and Giuseppe Mazzotta and Rafael Peñaloza and Francesco Ricca},
  year = {2024},
  url = {https://arxiv.org/abs/2409.09485},
  note = {Source identifier: 2409.09485}
}