Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey. Satisfiability of ECTL∗ with Local Tree Constraints. Theory Comput. Syst., 61(2):689-720, 2017. [doi]
@article{CarapelleFKL17, title = {Satisfiability of ECTL∗ with Local Tree Constraints}, author = {Claudia Carapelle and Shiguang Feng and Alexander Kartzow and Markus Lohrey}, year = {2017}, doi = {10.1007/s00224-016-9724-y}, url = {https://doi.org/10.1007/s00224-016-9724-y}, researchr = {https://researchr.org/publication/CarapelleFKL17}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {61}, number = {2}, pages = {689-720}, }