@Misc{            McNaughton,
  Author        = "McNaughton, Robert",
  date-added    = "2012-12-03 15:12:01 +0000",
  date-modified = "2012-12-03 15:13:10 +0000",
  HowPublished  = "J. Symbolic Logic Volume 28, Issue 1 (1963), 100-102.",
  Title         = "Review: J. Richard Buchi, Weak Second-Order Arithmetic and Finite Automata; J. Richard Buchi, On a Decision Method in Restricted second Order Arithmetic",
  File          = "Review J. Richard Buchi, Weak Second-Order Arithmetic and Finite Automata; J. Richard Buchi, On a Decision Method in Restricted second Order Arithmetic - McNaughton (0) (0) - a - a - r.pdf"
}

@Misc{ McNaughton, Author = "McNaughton, Robert", date-added = "2012-12-03 15:12:01 +0000", date-modified = "2012-12-03 15:13:10 +0000", HowPublished = "J. Symbolic Logic Volume 28, Issue 1 (1963), 100-102.", Title = "Review: J. Richard Buchi, Weak Second-Order Arithmetic and Finite Automata; J. Richard Buchi, On a Decision Method in Restricted second Order Arithmetic", File = "Review J. Richard Buchi, Weak Second-Order Arithmetic and Finite Automata; J. Richard Buchi, On a Decision Method in Restricted second Order Arithmetic - McNaughton (0) (0) - a - a - r.pdf" }