@PhdThesis{       Cachat,
  Author        = "Cachat, Thierry",
  date-added    = "2013-01-31 10:13:49 +0000",
  date-modified = "2013-01-31 10:15:30 +0000",
  Keywords      = "pushdown automata and parity games and saturation method",
  Title         = "Games on Pushdown Graphs and Extensions",
  Year          = "2003",
  File          = "Games on Pushdown Graphs and Extensions - Cachat (0) (0) - a - a - t.pdf"
}

@PhdThesis{ Cachat, Author = "Cachat, Thierry", date-added = "2013-01-31 10:13:49 +0000", date-modified = "2013-01-31 10:15:30 +0000", Keywords = "pushdown automata and parity games and saturation method", Title = "Games on Pushdown Graphs and Extensions", Year = "2003", File = "Games on Pushdown Graphs and Extensions - Cachat (0) (0) - a - a - t.pdf" }