@article{DE_ANGELIS_2018,
    doi = {10.1017/s1471068418000157},
    url = {https://doi.org/10.1017%2Fs1471068418000157},
    year = {2018},
    month = {jul},
    publisher = {Cambridge University Press ({CUP})},
    volume = {18},
    number = {3-4},
    pages = {452--469},
    author = {EMANUELE DE ANGELIS and FABIO FIORAVANTI and ALBERTO PETTOROSSI and MAURIZIO PROIETTI},
    title = {Solving Horn Clauses on Inductive Data Types Without Induction},
    journal = {Theory and Practice of Logic Programming}
}

@article{DE_ANGELIS_2018, doi = {10.1017/s1471068418000157}, url = {https://doi.org/10.1017%2Fs1471068418000157}, year = {2018}, month = {jul}, publisher = {Cambridge University Press ({CUP})}, volume = {18}, number = {3-4}, pages = {452--469}, author = {EMANUELE DE ANGELIS and FABIO FIORAVANTI and ALBERTO PETTOROSSI and MAURIZIO PROIETTI}, title = {Solving Horn Clauses on Inductive Data Types Without Induction}, journal = {Theory and Practice of Logic Programming} }