@Article{         Girardb,
  Author        = "Girard, Jean-Yves",
  date-added    = "2014-09-17 05:45:00 +0000",
  date-modified = "2014-09-17 05:46:25 +0000",
  Journal       = "Mathematical Structures in Computer Science",
  Title         = "Locus Solum",
  Volume        = "11",
  Year          = "2001",
  File          = "Locus Solum - Girard (0) (0) - a - a - j.pdf"
}

@Article{ Girardb, Author = "Girard, Jean-Yves", date-added = "2014-09-17 05:45:00 +0000", date-modified = "2014-09-17 05:46:25 +0000", Journal = "Mathematical Structures in Computer Science", Title = "Locus Solum", Volume = "11", Year = "2001", File = "Locus Solum - Girard (0) (0) - a - a - j.pdf" }