Stéphane Demri, Ulrike Sattler. Automata-Theoretic Decision Procedures for Information Logics. Fundamenta Informaticae, 53(1):1-22, 2002. [doi]
@article{DemriS02,
title = {Automata-Theoretic Decision Procedures for Information Logics},
author = {Stéphane Demri and Ulrike Sattler},
year = {2002},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=53&issue=1&spage=1},
tags = {logic},
researchr = {https://researchr.org/publication/DemriS02},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {53},
number = {1},
pages = {1-22},
}