@article{Carapelle_2016,
    doi = {10.1016/j.jcss.2016.02.002},
    url = {https://doi.org/10.1016%2Fj.jcss.2016.02.002},
    year = {2016},
    month = {aug},
    publisher = {Elsevier {BV}},
    volume = {82},
    number = {5},
    pages = {826--855},
    author = {Claudia Carapelle and Alexander Kartzow and Markus Lohrey},
    title = {Satisfiability of {ECTL}⁎ with constraints},
    journal = {Journal of Computer and System Sciences}
}

@article{Carapelle_2016, doi = {10.1016/j.jcss.2016.02.002}, url = {https://doi.org/10.1016%2Fj.jcss.2016.02.002}, year = {2016}, month = {aug}, publisher = {Elsevier {BV}}, volume = {82}, number = {5}, pages = {826--855}, author = {Claudia Carapelle and Alexander Kartzow and Markus Lohrey}, title = {Satisfiability of {ECTL}⁎ with constraints}, journal = {Journal of Computer and System Sciences} }