Zoltán Ésik, Szabolcs Iván. Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics. Fundamenta Informaticae, 82(1-2):79-103, 2008. [doi]
@article{EsikI08a,
title = {Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics},
author = {Zoltán Ésik and Szabolcs Iván},
year = {2008},
url = {http://iospress.metapress.com/content/4216mrh7r6477172/},
tags = {logic},
researchr = {https://researchr.org/publication/EsikI08a},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {82},
number = {1-2},
pages = {79-103},
}