@Article{         Maler94onthe,
  Author        = "Maler, Oded and Pnueli, Amir",
  date-added    = "2013-06-10 13:46:13 +0000",
  date-modified = "2013-06-10 13:46:24 +0000",
  Journal       = "ACTS Mobile Communication",
  Keywords      = "Krohn-Rhodes theory",
  Pages         = "pages.",
  Title         = "On the Cascaded Decomposition of Automata, its Complexity and its Application to Logic",
  Volume        = "48",
  Year          = "1994",
  File          = "On the Cascaded Decomposition of Automata, its Complexity and its Application to Logic - Maler, Pnueli (0) (0) - a - a - y.pdf"
}

@Article{ Maler94onthe, Author = "Maler, Oded and Pnueli, Amir", date-added = "2013-06-10 13:46:13 +0000", date-modified = "2013-06-10 13:46:24 +0000", Journal = "ACTS Mobile Communication", Keywords = "Krohn-Rhodes theory", Pages = "pages.", Title = "On the Cascaded Decomposition of Automata, its Complexity and its Application to Logic", Volume = "48", Year = "1994", File = "On the Cascaded Decomposition of Automata, its Complexity and its Application to Logic - Maler, Pnueli (0) (0) - a - a - y.pdf" }