@Misc{            Bomhard,
  Author        = "von Bomhard, Thomas",
  date-added    = "2012-05-28 12:02:06 +0200",
  date-modified = "2012-05-28 12:02:47 +0200",
  HowPublished  = "bachelor's thesis",
  Keywords      = "tree automata and simulation preoder and quotienting",
  Month         = "September",
  Title         = "Minimization of Tree Automata",
  Year          = "2008",
  bdsk-url-1    = "http://www.csc.liv.ac.uk/\textasciitilde sven/TvBomhard.pdf",
  File          = "Minimization of Tree Automata - Bomhard (0) (0) - a - a - g.pdf"
}

@Misc{ Bomhard, Author = "von Bomhard, Thomas", date-added = "2012-05-28 12:02:06 +0200", date-modified = "2012-05-28 12:02:47 +0200", HowPublished = "bachelor's thesis", Keywords = "tree automata and simulation preoder and quotienting", Month = "September", Title = "Minimization of Tree Automata", Year = "2008", bdsk-url-1 = "http://www.csc.liv.ac.uk/\textasciitilde sven/TvBomhard.pdf", File = "Minimization of Tree Automata - Bomhard (0) (0) - a - a - g.pdf" }