@article{DE_ANGELIS_2015,
    doi = {10.1017/s1471068415000289},
    url = {https://doi.org/10.1017%2Fs1471068415000289},
    year = {2015},
    month = {jul},
    publisher = {Cambridge University Press ({CUP})},
    volume = {15},
    number = {4-5},
    pages = {635--650},
    author = {EMANUELE DE ANGELIS and FABIO FIORAVANTI and ALBERTO PETTOROSSI and MAURIZIO PROIETTI},
    title = {Proving correctness of imperative programs by linearizing constrained Horn clauses},
    journal = {Theory and Practice of Logic Programming}
}

@article{DE_ANGELIS_2015, doi = {10.1017/s1471068415000289}, url = {https://doi.org/10.1017%2Fs1471068415000289}, year = {2015}, month = {jul}, publisher = {Cambridge University Press ({CUP})}, volume = {15}, number = {4-5}, pages = {635--650}, author = {EMANUELE DE ANGELIS and FABIO FIORAVANTI and ALBERTO PETTOROSSI and MAURIZIO PROIETTI}, title = {Proving correctness of imperative programs by linearizing constrained Horn clauses}, journal = {Theory and Practice of Logic Programming} }