@article{Bozzelli_2019,
    doi = {10.1016/j.tcs.2018.04.011},
    url = {https://doi.org/10.1016%2Fj.tcs.2018.04.011},
    year = {2019},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {764},
    pages = {125--144},
    author = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala},
    title = {Which fragments of the interval temporal logic {HS} are tractable in model checking?},
    journal = {Theoretical Computer Science}
}

@article{Bozzelli_2019, doi = {10.1016/j.tcs.2018.04.011}, url = {https://doi.org/10.1016%2Fj.tcs.2018.04.011}, year = {2019}, month = {apr}, publisher = {Elsevier {BV}}, volume = {764}, pages = {125--144}, author = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala}, title = {Which fragments of the interval temporal logic {HS} are tractable in model checking?}, journal = {Theoretical Computer Science} }