@book{books/sp/CeriGT90,
  title = "Logic Programming and Databases",
  author = "Stefano Ceri and Georg Gottlob and Letizia Tanca",
  year = "1990",
  isbn = "3-540-51728-6",
  publisher = "Springer",
}