@misc{indiciae8c19b797a34d,
  title = {ProDebug: An Automated Debugging System for Prolog},
  author = {Ricardo Brancas and Vasco Manquinho and Ruben Martins},
  year = {2026},
  url = {https://arxiv.org/abs/2605.27124},
  note = {Source identifier: 2605.27124}
}