@Article{         ClementeMayr:arxiv,
  Author        = "Clemente, Lorenzo and Mayr, Richard",
  date-added    = "2014-02-22 16:39:38 +0000",
  date-modified = "2014-02-22 16:40:01 +0000",
  EPrint        = "1210.6624",
  Month         = "10",
  Title         = "Advanced Automata Minimization",
  URL           = "http://arxiv.org/abs/1210.6624",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1210.6624",
  File          = "Advanced Automata Minimization - Clemente, Mayr (0) (0) - a - a - u.pdf"
}

@Article{ ClementeMayr:arxiv, Author = "Clemente, Lorenzo and Mayr, Richard", date-added = "2014-02-22 16:39:38 +0000", date-modified = "2014-02-22 16:40:01 +0000", EPrint = "1210.6624", Month = "10", Title = "Advanced Automata Minimization", URL = "http://arxiv.org/abs/1210.6624", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1210.6624", File = "Advanced Automata Minimization - Clemente, Mayr (0) (0) - a - a - u.pdf" }