BibTeX record conf/jelia/GebserJR14

download as .bib file

@inproceedings{DBLP:conf/jelia/GebserJR14,
  author    = {Martin Gebser and
               Tomi Janhunen and
               Jussi Rintanen},
  editor    = {Eduardo Ferm{\'{e}} and
               Jo{\~{a}}o Leite},
  title     = {{SAT} Modulo Graphs: Acyclicity},
  booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
               2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8761},
  pages     = {137--151},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11558-0\_10},
  doi       = {10.1007/978-3-319-11558-0\_10},
  timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
  biburl    = {https://dblp.org/rec/conf/jelia/GebserJR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics