@Article{         BarthHofmann,
  Author        = "Barth, Stephan and Hofmann, Martin",
  date-added    = "2013-10-28 08:58:26 +0000",
  date-modified = "2013-10-28 08:58:58 +0000",
  EPrint        = "1210.2452",
  Keywords      = "minimization and readme",
  Month         = "10",
  Title         = {Learn with SAT to Minimize B{\"u}chi Automata},
  URL           = "http://arxiv.org/abs/1210.2452",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1210.2452",
  File          = "Learn with SAT to Minimize Büchi Automata - Barth, Hofmann (0) (0) - a - a - i.pdf"
}

@Article{ BarthHofmann, Author = "Barth, Stephan and Hofmann, Martin", date-added = "2013-10-28 08:58:26 +0000", date-modified = "2013-10-28 08:58:58 +0000", EPrint = "1210.2452", Keywords = "minimization and readme", Month = "10", Title = {Learn with SAT to Minimize B{\"u}chi Automata}, URL = "http://arxiv.org/abs/1210.2452", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1210.2452", File = "Learn with SAT to Minimize Büchi Automata - Barth, Hofmann (0) (0) - a - a - i.pdf" }