@misc{indiciaef60ea1c8c09f,
  title = {Regular Path Clauses and Their Application in Solving Loops},
  author = {Bishoksan Kafle and John P. Gallagher and Manuel V. Hermenegildo and Maximiliano Klemen and Pedro López-García and José F. Morales},
  year = {2021},
  doi = {10.4204/eptcs.344.3},
  url = {https://arxiv.org/abs/2109.04631},
  note = {Source identifier: 2109.04631}
}