@Article{         Plotkind,
  Author        = "Plotkin, Gordon",
  date-added    = "2013-02-18 23:16:41 +0000",
  date-modified = "2013-02-18 23:17:45 +0000",
  Journal       = "Machine Intelligence",
  Keywords      = "lambda calculus and higher-order unification",
  Number        = "7",
  Pages         = "73--90",
  Title         = "Building-in Equational Theories",
  Year          = "1972",
  File          = "Building-in Equational Theories - Plotkin (0) (0) - a - a - c.pdf"
}

@Article{ Plotkind, Author = "Plotkin, Gordon", date-added = "2013-02-18 23:16:41 +0000", date-modified = "2013-02-18 23:17:45 +0000", Journal = "Machine Intelligence", Keywords = "lambda calculus and higher-order unification", Number = "7", Pages = "73--90", Title = "Building-in Equational Theories", Year = "1972", File = "Building-in Equational Theories - Plotkin (0) (0) - a - a - c.pdf" }