@MastersThesis{   Vermaat,
  Author        = "Vermaat, Martijn",
  date-added    = "2014-01-24 14:14:31 +0000",
  date-modified = "2014-01-24 14:14:50 +0000",
  Keywords      = "transfinite rewriting",
  School        = "VU University Amsterdam",
  Title         = "Infinitary Rewriting in Coq",
  Year          = "2010",
  File          = "Infinitary Rewriting in Coq - Vermaat (0) (0) - a - a - j.pdf"
}

@MastersThesis{ Vermaat, Author = "Vermaat, Martijn", date-added = "2014-01-24 14:14:31 +0000", date-modified = "2014-01-24 14:14:50 +0000", Keywords = "transfinite rewriting", School = "VU University Amsterdam", Title = "Infinitary Rewriting in Coq", Year = "2010", File = "Infinitary Rewriting in Coq - Vermaat (0) (0) - a - a - j.pdf" }