@Article{         Plotkini,
  Author        = "Plotkin, Gordon",
  date-added    = "2014-01-31 06:11:35 +0000",
  date-modified = "2014-01-31 06:12:01 +0000",
  Journal       = "Mechanized Reasoning",
  Pages         = "101--124",
  Title         = "A Further Note on Inductive Generalization",
  Year          = "1971",
  File          = "A Further Note on Inductive Generalization - Plotkin (0) (0) - a - a - z.pdf"
}

@Article{ Plotkini, Author = "Plotkin, Gordon", date-added = "2014-01-31 06:11:35 +0000", date-modified = "2014-01-31 06:12:01 +0000", Journal = "Mechanized Reasoning", Pages = "101--124", Title = "A Further Note on Inductive Generalization", Year = "1971", File = "A Further Note on Inductive Generalization - Plotkin (0) (0) - a - a - z.pdf" }