Solving Constrained Horn Clauses over Algebraic Data Types. - Lucas Zavalía; Lidiia Chernigovskaia; Grigory Fedyukovich (VMCAI, 2023)