@Unpublished{     ParysTorunczyk,
  Author        = "Parys, Pawe{\l} and Toru{\'n}czyk, Szymon",
  date-added    = "2016-04-26 12:59:22 +0000",
  date-modified = "2016-04-26 12:59:41 +0000",
  Title         = "Models of {$\lambda$}-Calculus and the Weak MSO Logic",
  Year          = "2016",
  File          = "Models of {$\lambda$}-Calculus and the Weak MSO Logic - Parys, Toruńczyk (0) (0) - a - a - s.pdf"
}

@Unpublished{ ParysTorunczyk, Author = "Parys, Pawe{\l} and Toru{\'n}czyk, Szymon", date-added = "2016-04-26 12:59:22 +0000", date-modified = "2016-04-26 12:59:41 +0000", Title = "Models of {$\lambda$}-Calculus and the Weak MSO Logic", Year = "2016", File = "Models of {$\lambda$}-Calculus and the Weak MSO Logic - Parys, Toruńczyk (0) (0) - a - a - s.pdf" }