Satisfiability of ECTL∗ with Local Tree Constraints

Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey. Satisfiability of ECTL∗ with Local Tree Constraints. Theory Comput. Syst., 61(2):689-720, 2017. [doi]

Abstract

Abstract is missing.