@Article{         bsl0,
  Author        = "Richard KENNAWAY, Jan-Willem KLOP, Ronan SLEEP andsFer-Jan de VRIES",
  date-added    = "2014-01-25 12:00:01 +0000",
  date-modified = "2014-01-25 12:00:01 +0000",
  Journal       = "Bulletin of the Section of Logic",
  Number        = "1",
  Pages         = "13--20",
  Title         = "From finite to infinite lambda calculi",
  Volume        = "24",
  Year          = "1995",
  File          = "From finite to infinite lambda calculi - Richard KENNAWAY (0) (0) - a - a - q.pdf"
}

@Article{ bsl0, Author = "Richard KENNAWAY, Jan-Willem KLOP, Ronan SLEEP andsFer-Jan de VRIES", date-added = "2014-01-25 12:00:01 +0000", date-modified = "2014-01-25 12:00:01 +0000", Journal = "Bulletin of the Section of Logic", Number = "1", Pages = "13--20", Title = "From finite to infinite lambda calculi", Volume = "24", Year = "1995", File = "From finite to infinite lambda calculi - Richard KENNAWAY (0) (0) - a - a - q.pdf" }