@Article{         Plotkinh,
  Author        = "Plotkin, Gordon",
  date-added    = "2014-01-31 06:11:06 +0000",
  date-modified = "2014-01-31 06:11:26 +0000",
  Journal       = "Mechanized Reasoning",
  Pages         = "153--163",
  Title         = "A Note on Inductive Generalization",
  Year          = "1970",
  File          = "A Note on Inductive Generalization - Plotkin (0) (0) - a - a - f.pdf"
}

@Article{ Plotkinh, Author = "Plotkin, Gordon", date-added = "2014-01-31 06:11:06 +0000", date-modified = "2014-01-31 06:11:26 +0000", Journal = "Mechanized Reasoning", Pages = "153--163", Title = "A Note on Inductive Generalization", Year = "1970", File = "A Note on Inductive Generalization - Plotkin (0) (0) - a - a - f.pdf" }