@InProceedings{   LNCS72130135,
  Author        = "Preugschat, Sebastian and Wilke, Thomas",
  Editor        = "Birkedal, Lars",
  BookTitle     = "Foundations of Software Science and Computational Structures",
  date-added    = "2012-04-02 14:10:21 +0200",
  date-modified = "2012-04-05 17:27:26 +0200",
  ISBN          = "978-3-642-28728-2",
  Keywords      = "automata theory and temporal logic and unambiguous automata",
  Location      = "Heidelberg",
  Pages         = "135--149",
  Publisher     = "Springer",
  Series        = "Lecture Notes in Computer Science",
  Title         = "Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata",
  Volume        = "7213",
  Year          = "2012",
  File          = "Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata - Preugschat, Wilke (0) (0) - a - a - r.pdf"
}

@InProceedings{ LNCS72130135, Author = "Preugschat, Sebastian and Wilke, Thomas", Editor = "Birkedal, Lars", BookTitle = "Foundations of Software Science and Computational Structures", date-added = "2012-04-02 14:10:21 +0200", date-modified = "2012-04-05 17:27:26 +0200", ISBN = "978-3-642-28728-2", Keywords = "automata theory and temporal logic and unambiguous automata", Location = "Heidelberg", Pages = "135--149", Publisher = "Springer", Series = "Lecture Notes in Computer Science", Title = "Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata", Volume = "7213", Year = "2012", File = "Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata - Preugschat, Wilke (0) (0) - a - a - r.pdf" }