@book{Kowalski:1979,
  added-at = {2007-12-14T02:41:45.000+0100},
  address = {New York, Oxford},
  author = {Kowalski, Robert},
  biburl = {http://www.bibsonomy.org/bibtex/265c646f1f4f9da82e59bb4fe0c21d83d/diego_ma},
  interhash = {35867f9fb1866d64fe72da16ddd23c80},
  intrahash = {65c646f1f4f9da82e59bb4fe0c21d83d},
  keywords = {logic},
  publisher = {North Holland},
  series = {The Computer Science Library, Artificial Intelligence Series},
  timestamp = {2007-12-14T02:41:45.000+0100},
  title = {Logic for Problem Solving},
  volume = 7,
  year = 1979
}