Takumi Shimoda, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato. Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. In Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi, editors, Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings. Volume 12913 of Lecture Notes in Computer Science, pages 405-428, Springer, 2021. [doi]
Abstract is missing.