@Unpublished{     SalvatiWalukiewicz:Models:2014,
  Author        = "Salvati, Sylvain and Walukiewicz, Igor",
  date-added    = "2014-05-03 05:59:48 +0000",
  date-modified = "2014-05-20 06:22:16 +0000",
  Month         = "May",
  Title         = "Models of the {$\lambda Y$}-calculus for weak Monadic Second-Order Logic",
  Year          = "2014",
  File          = "Models of the {$\lambda$}Y -calculus for weak Monadic Second-Order Logic - Salvati, Walukiewicz (0) (0) - a - a - p.pdf"
}

@Unpublished{ SalvatiWalukiewicz:Models:2014, Author = "Salvati, Sylvain and Walukiewicz, Igor", date-added = "2014-05-03 05:59:48 +0000", date-modified = "2014-05-20 06:22:16 +0000", Month = "May", Title = "Models of the {$\lambda Y$}-calculus for weak Monadic Second-Order Logic", Year = "2014", File = "Models of the {$\lambda$}Y -calculus for weak Monadic Second-Order Logic - Salvati, Walukiewicz (0) (0) - a - a - p.pdf" }