Georg Zetzsche, Dietrich Kuske, Markus Lohrey. On Boolean Closed Full Trios and Rational Kripke Frames. Theory Comput. Syst., 60(3):438-472, 2017. [doi]
@article{ZetzscheKL17,
title = {On Boolean Closed Full Trios and Rational Kripke Frames},
author = {Georg Zetzsche and Dietrich Kuske and Markus Lohrey},
year = {2017},
doi = {10.1007/s00224-016-9694-0},
url = {http://dx.doi.org/10.1007/s00224-016-9694-0},
researchr = {https://researchr.org/publication/ZetzscheKL17},
cites = {0},
citedby = {0},
journal = {Theory Comput. Syst.},
volume = {60},
number = {3},
pages = {438-472},
}