@Proceedings{DBLP:conf/kr/2012,
  Title                    = {Principles of Knowledge Representation and Reasoning: Proceedings
 of the Thirteenth International Conference, KR 2012, Rome,
 Italy, June 10-14, 2012},
  Year                     = {2012},
  Editor                   = {Gerhard Brewka and
 Thomas Eiter and
 Sheila A. McIlraith},
  Publisher                = {AAAI Press},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {KR},
  ISBN                     = {978-1-57735-560-1}
}
@InProceedings{DBLP:conf/kr/TosattoBTV12,
  Title                    = {Abstract Normative Systems: Semantics and Proof Theory},
  Author                   = {Silvano Colombo Tosatto and
 Guido Boella and
 Leendert van der Torre and
 Serena Villata},
  Booktitle                = {KR},
  Year                     = {2012},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/kr/2012},
  Ee                       = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4553},
  Url                      = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4553}
}