@Article{         Park:70,
  Author        = "Park, David",
  date-added    = "2013-12-11 13:36:17 +0000",
  date-modified = "2013-12-11 13:37:00 +0000",
  Journal       = "Machine Intelligence",
  Title         = "Fixpoint induction and proofs of program properties",
  Volume        = "5",
  Year          = "1970"
}

@Article{ Park:70, Author = "Park, David", date-added = "2013-12-11 13:36:17 +0000", date-modified = "2013-12-11 13:37:00 +0000", Journal = "Machine Intelligence", Title = "Fixpoint induction and proofs of program properties", Volume = "5", Year = "1970" }