@misc{indiciae38d102a56357,
  title = {CHC-COMP 2023: Competition Report},
  author = {Emanuele De Angelis and Hari Govind V K},
  year = {2024},
  doi = {10.4204/eptcs.402.10},
  url = {https://arxiv.org/abs/2404.14923},
  note = {Source identifier: 2404.14923}
}