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]

Abstract

Abstract is missing.