@Article{         1942,
  Author        = "Newman, M. H. A.",
  copyright     = "Copyright {\copyright} 1942 Annals of Mathematics",
  date-added    = "2013-02-27 10:10:45 +0000",
  date-modified = "2013-02-27 10:10:51 +0000",
  ISSN          = "0003486X",
  Journal       = "Annals of Mathematics",
  jstor_articletype="research-article",
  jstor_formatteddate="Apr., 1942",
  Keywords      = "term rewriting systems",
  Language      = "English",
  Number        = "2",
  Pages         = "pp. 223-243",
  Publisher     = "Annals of Mathematics",
  Series        = "Second Series",
  Title         = {On Theories with a Combinatorial Definition of "Equivalence"},
  URL           = "http://www.jstor.org/stable/1968867",
  Volume        = "43",
  Year          = "1942",
  bdsk-url-1    = "http://www.jstor.org/stable/1968867",
}

@Article{ 1942, Author = "Newman, M. H. A.", copyright = "Copyright {\copyright} 1942 Annals of Mathematics", date-added = "2013-02-27 10:10:45 +0000", date-modified = "2013-02-27 10:10:51 +0000", ISSN = "0003486X", Journal = "Annals of Mathematics", jstor_articletype="research-article", jstor_formatteddate="Apr., 1942", Keywords = "term rewriting systems", Language = "English", Number = "2", Pages = "pp. 223-243", Publisher = "Annals of Mathematics", Series = "Second Series", Title = {On Theories with a Combinatorial Definition of "Equivalence"}, URL = "http://www.jstor.org/stable/1968867", Volume = "43", Year = "1942", bdsk-url-1 = "http://www.jstor.org/stable/1968867", }