@TechReport{      FiedorHolikJankuLengalVojnar,
  Author        = "Fiedor, Tomas and Holik, Lukas and Janku, Petr and Lengal, Ondrej and Vojnar, Tomas",
  date-added    = "2016-11-11 11:16:59 +0000",
  date-modified = "2016-11-11 11:18:14 +0000",
  Institution   = "University of Brno",
  Title         = "Lazy automata techniques for WS1S",
  Year          = "2016",
  File          = "Lazy automata techniques for WS1S - Fiedor, Holik, Janku, Lengal, Vojnar (0) (0) - a - a - z.pdf"
}

@TechReport{ FiedorHolikJankuLengalVojnar, Author = "Fiedor, Tomas and Holik, Lukas and Janku, Petr and Lengal, Ondrej and Vojnar, Tomas", date-added = "2016-11-11 11:16:59 +0000", date-modified = "2016-11-11 11:18:14 +0000", Institution = "University of Brno", Title = "Lazy automata techniques for WS1S", Year = "2016", File = "Lazy automata techniques for WS1S - Fiedor, Holik, Janku, Lengal, Vojnar (0) (0) - a - a - z.pdf" }