Orna Kupferman. Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. Journal of Logic and Computation, 9(2):135-147, 1999. [doi]
@article{Kupferman99,
title = {Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions},
author = {Orna Kupferman},
year = {1999},
url = {http://www3.oup.co.uk/logcom/hdb/Volume_09/Issue_02/090135.sgm.abs.html},
tags = {logic},
researchr = {https://researchr.org/publication/Kupferman99},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {9},
number = {2},
pages = {135-147},
}