@Unpublished{     OgawaTangHirokawa,
  Author        = "Ogawa, Mizuhito and Tang, Nguyen Van and Hirokawa, Nao",
  date-added    = "2012-12-04 21:22:32 +0000",
  date-modified = "2012-12-04 21:22:58 +0000",
  Keywords      = "visibly pushdown automata and antichain theory",
  Note          = "wrong",
  Title         = "Antichains for Visibly Pushdown Automata",
  File          = "Antichains for Visibly Pushdown Automata - Ogawa, Tang, Hirokawa (0) (0) - a - a - u.pdf"
}

@Unpublished{ OgawaTangHirokawa, Author = "Ogawa, Mizuhito and Tang, Nguyen Van and Hirokawa, Nao", date-added = "2012-12-04 21:22:32 +0000", date-modified = "2012-12-04 21:22:58 +0000", Keywords = "visibly pushdown automata and antichain theory", Note = "wrong", Title = "Antichains for Visibly Pushdown Automata", File = "Antichains for Visibly Pushdown Automata - Ogawa, Tang, Hirokawa (0) (0) - a - a - u.pdf" }