BibTeX record conf/kr/OetschPPST12

download as .bib file

@inproceedings{DBLP:conf/kr/OetschPPST12,
  author       = {Johannes Oetsch and
                  Michael Prischink and
                  J{\"{o}}rg P{\"{u}}hrer and
                  Martin Schwengerer and
                  Hans Tompits},
  editor       = {Gerhard Brewka and
                  Thomas Eiter and
                  Sheila A. McIlraith},
  title        = {On the Small-Scope Hypothesis for Testing Answer-Set Programs},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
                  June 10-14, 2012},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4550},
  timestamp    = {Tue, 09 Feb 2021 08:33:38 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/OetschPPST12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics