@article{chronosymboliclearningefficientchcsolvin,
  title = {Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning},
  author = {Ziyan Luo and Xujie Si},
  year = {2023},
  eprint = {2305.01206},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2305.01206v4},
}