@article{FIORAVANTI_2012,
    doi = {10.1017/s1471068411000627},
    url = {https://doi.org/10.1017%2Fs1471068411000627},
    year = {2012},
    month = {jan},
    publisher = {Cambridge University Press ({CUP})},
    volume = {13},
    number = {2},
    pages = {175--199},
    author = {FABIO FIORAVANTI and ALBERTO PETTOROSSI and MAURIZIO PROIETTI and VALERIO SENNI},
    title = {Generalization strategies for the verification of infinite state systems},
    journal = {Theory and Practice of Logic Programming}
}

@article{FIORAVANTI_2012, doi = {10.1017/s1471068411000627}, url = {https://doi.org/10.1017%2Fs1471068411000627}, year = {2012}, month = {jan}, publisher = {Cambridge University Press ({CUP})}, volume = {13}, number = {2}, pages = {175--199}, author = {FABIO FIORAVANTI and ALBERTO PETTOROSSI and MAURIZIO PROIETTI and VALERIO SENNI}, title = {Generalization strategies for the verification of infinite state systems}, journal = {Theory and Practice of Logic Programming} }