TY  - RPRT
TI  - Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
AU  - Hiroyuki Katsura
AU  - Naoki Kobayashi
AU  - Ken Sakayori
AU  - Ryosuke Sato
PY  - 2025
UR  - https://arxiv.org/abs/2507.20726
ID  - 2507.20726
ER  -