@PhdThesis{       Figueira,
  Author        = "Figueira, Diego",
  date-added    = "2013-10-05 15:18:46 +0000",
  date-modified = "2013-10-05 15:19:35 +0000",
  Keywords      = "data automata",
  Month         = "December",
  School        = "Laboratoire Sp{\'e}cification et V{\'e}rification",
  Title         = "Reasoning on Words and Trees with Data",
  Year          = "2010",
  File          = "Reasoning on Words and Trees with Data - Figueira (0) (0) - a - a - r.pdf",
  file-2        = "Reasoning on Words and Trees with Data - Figueira (1) (0) - a - a - r.pdf"
}

@PhdThesis{ Figueira, Author = "Figueira, Diego", date-added = "2013-10-05 15:18:46 +0000", date-modified = "2013-10-05 15:19:35 +0000", Keywords = "data automata", Month = "December", School = "Laboratoire Sp{\'e}cification et V{\'e}rification", Title = "Reasoning on Words and Trees with Data", Year = "2010", File = "Reasoning on Words and Trees with Data - Figueira (0) (0) - a - a - r.pdf", file-2 = "Reasoning on Words and Trees with Data - Figueira (1) (0) - a - a - r.pdf" }