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