TY  - RPRT
TI  - Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
AU  - Takumi Shimoda
AU  - Naoki Kobayashi
AU  - Ken Sakayori
AU  - Ryosuke Sato
PY  - 2021
UR  - https://arxiv.org/abs/2108.07642
ID  - 2108.07642
ER  -