@TechReport{      Pratt1977,
  Author        = "Pratt, V. R.",
  date-added    = "2019-04-29 14:27:00 +0200",
  date-modified = "2019-04-29 14:27:37 +0200",
  Institution   = "MIT",
  Title         = "Two Easy Theories Whose Combination is Hard",
  Year          = "1977",
  File          = "sefnp (0) - a - a - k.pdf"
}

@TechReport{ Pratt1977, Author = "Pratt, V. R.", date-added = "2019-04-29 14:27:00 +0200", date-modified = "2019-04-29 14:27:37 +0200", Institution = "MIT", Title = "Two Easy Theories Whose Combination is Hard", Year = "1977", File = "sefnp (0) - a - a - k.pdf" }