@Article{DemriSattlerFI-02,
  author = 	 {S. Demri and U. Sattler},
  title = 	 {Automata-Theoretic Decision Procedures for Information Logics}, 
  journal = 	 {Fundamenta Informaticae},
  year = 	 2002,
  volume =       53,
  number =       1,
  pages =        {1--22}
}