D
[DS02] Stéphane Demri and Ulrike Sattler. Automata-Theoretic Decision Procedures for Information Logics. Fundamenta Informaticae 53(1):1-22. IOS Press, 2002. 
@article{fundi53(1)-DS,
  author =              {Demri, St{\'e}phane and Sattler, Ulrike},
  title =               {Automata-Theoretic Decision Procedures for
                         Information Logics},
  publisher =           {IOS Press},
  journal =             {Fundamenta Informaticae},
  volume =              {53},
  number =              {1},
  pages =               {1-22},
  year =                {2002},
}
List of authors