Symbolic Automatic Relations and Their Applications to SMT and CHC Solving.

Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Browse the full SAS paper archive.