Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach. Journal of Logic and Computation, 32(2):402-442, 2022. [doi]
Abstract is missing.