@InProceedings{   Yakushev2009EnumeratingWT,
  Author        = "Yakushev, Alexey Rodriguez and Jeuring, Johan",
  BookTitle     = "AAIP",
  date-added    = "2018-04-24 19:10:08 +0000",
  date-modified = "2018-04-24 19:10:08 +0000",
  Title         = "Enumerating Well-Typed Terms Generically",
  Year          = "2009",
  File          = "07ba817e5329d46895faff3e9b85afd4f6ba (0) - a - a - f.pdf"
}

@InProceedings{ Yakushev2009EnumeratingWT, Author = "Yakushev, Alexey Rodriguez and Jeuring, Johan", BookTitle = "AAIP", date-added = "2018-04-24 19:10:08 +0000", date-modified = "2018-04-24 19:10:08 +0000", Title = "Enumerating Well-Typed Terms Generically", Year = "2009", File = "07ba817e5329d46895faff3e9b85afd4f6ba (0) - a - a - f.pdf" }