@InProceedings{   Kowalski,
  Author        = "Kowalski, Robert A.",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "IFIP Congress",
  date-added    = "2013-04-17 08:02:21 +0000",
  date-modified = "2017-09-25 07:14:55 +0000",
  Keywords      = "classic and logic programming",
  Pages         = "569-574",
  Title         = "Predicate Logic as Programming Language",
  Year          = "1974",
  File          = "Predicate Logic as Programming Language - Kowalski (0) (0) - a - a - z.pdf"
}

@InProceedings{ Kowalski, Author = "Kowalski, Robert A.", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "IFIP Congress", date-added = "2013-04-17 08:02:21 +0000", date-modified = "2017-09-25 07:14:55 +0000", Keywords = "classic and logic programming", Pages = "569-574", Title = "Predicate Logic as Programming Language", Year = "1974", File = "Predicate Logic as Programming Language - Kowalski (0) (0) - a - a - z.pdf" }