BibTeX record conf/kr/GebserJR14

download as .bib file

@inproceedings{DBLP:conf/kr/GebserJR14,
  author    = {Martin Gebser and
               Tomi Janhunen and
               Jussi Rintanen},
  editor    = {Chitta Baral and
               Giuseppe De Giacomo and
               Thomas Eiter},
  title     = {{ASP} Encodings of Acyclicity Properties},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8025},
  timestamp = {Thu, 31 Jul 2014 10:35:22 +0200},
  biburl    = {https://dblp.org/rec/conf/kr/GebserJR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics