@PhdThesis{       Rehof,
  Author        = "Rehof, Jakob",
  date-added    = "2013-11-15 11:07:34 +0000",
  date-modified = "2013-11-15 11:07:47 +0000",
  Title         = "The Complexity of Simple Subtyping Systems",
  Year          = "1998"
}

@PhdThesis{ Rehof, Author = "Rehof, Jakob", date-added = "2013-11-15 11:07:34 +0000", date-modified = "2013-11-15 11:07:47 +0000", Title = "The Complexity of Simple Subtyping Systems", Year = "1998" }