Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM. Issue 4 (27th May 2019) - DE ANGELIS, EMANUELE; FIORAVANTI, FABIO; PETTOROSSI, ALBERTO; PROIETTI, MAURIZIO