Solving Horn Clauses on Inductive Data Types Without Induction. - DE ANGELIS, EMANUELE; FIORAVANTI, FABIO; PETTOROSSI, ALBERTO; PROIETTI, MAURIZIO; Dal Palu, Alessandro; Tarau, Paul (Theory & Practice of Logic Programming, 2018)