@misc{indiciae2b76cbbe7c1d,
  title = {Symbolic Automatic Relations and Their Applications to SMT and CHC Solving},
  author = {Takumi Shimoda and Naoki Kobayashi and Ken Sakayori and Ryosuke Sato},
  year = {2021},
  url = {https://arxiv.org/abs/2108.07642},
  note = {Source identifier: 2108.07642}
}