BibTeX record conf/icdt/AbiteboulDV14

download as .bib file

@inproceedings{DBLP:conf/icdt/AbiteboulDV14,
  author       = {Serge Abiteboul and
                  Daniel Deutch and
                  Victor Vianu},
  editor       = {Nicole Schweikardt and
                  Vassilis Christophides and
                  Vincent Leroy},
  title        = {Deduction with Contradictions in Datalog},
  booktitle    = {Proc. 17th International Conference on Database Theory (ICDT), Athens,
                  Greece, March 24-28, 2014},
  pages        = {143--154},
  publisher    = {OpenProceedings.org},
  year         = {2014},
  url          = {https://doi.org/10.5441/002/icdt.2014.17},
  doi          = {10.5441/002/ICDT.2014.17},
  timestamp    = {Tue, 16 Jan 2018 17:46:10 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/AbiteboulDV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}