Automata-Theoretic Decision Procedures for Information Logics

Stéphane Demri, Ulrike Sattler. Automata-Theoretic Decision Procedures for Information Logics. Fundamenta Informaticae, 53(1):1-22, 2002. [doi]

Authors

Stéphane Demri

This author has not been identified. Look up 'Stéphane Demri' in Google

Ulrike Sattler

This author has not been identified. Look up 'Ulrike Sattler' in Google