BibTeX record conf/eds/Zaniolo86

download as .bib file

@inproceedings{DBLP:conf/eds/Zaniolo86,
  author    = {Carlo Zaniolo},
  title     = {Safety and Compilation of Non-recursive Horn Clauses},
  booktitle = {Expert Database Conf.},
  pages     = {237--252},
  year      = {1986},
  timestamp = {Thu, 03 Jan 2002 11:57:21 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eds/Zaniolo86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}