@Article{         Reynolds,
  Author        = "Reynolds, John C.",
  date-added    = "2014-01-31 06:07:13 +0000",
  date-modified = "2014-01-31 06:10:44 +0000",
  Journal       = "Mechanized Reasoning",
  Title         = "Transformational Systems and the Algebraic Structure of Atomic Formulas",
  File          = "Transformational Systems and the Algebraic Structure of Atomic Formulas - Reynolds (0) (0) - a - a - d.pdf"
}

@Article{ Reynolds, Author = "Reynolds, John C.", date-added = "2014-01-31 06:07:13 +0000", date-modified = "2014-01-31 06:10:44 +0000", Journal = "Mechanized Reasoning", Title = "Transformational Systems and the Algebraic Structure of Atomic Formulas", File = "Transformational Systems and the Algebraic Structure of Atomic Formulas - Reynolds (0) (0) - a - a - d.pdf" }