BibTeX record conf/xp/RamakrishnanBS86

download as .bib file

@inproceedings{DBLP:conf/xp/RamakrishnanBS86,
  author       = {Raghu Ramakrishnan and
                  Fran{\c{c}}ois Bancilhon and
                  Abraham Silberschatz},
  editor       = {Henry F. Korth},
  title        = {Safety of Recursive Horn Clauses With Function Symbols},
  booktitle    = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
                  TX, USA, August 13-15, 1986},
  year         = {1986},
  timestamp    = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl       = {https://dblp.org/rec/conf/xp/RamakrishnanBS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics