@inproceedings{kr/BogaertsJT16,
  author    = {Bart Bogaerts and
               Tomi Janhunen and
               Shahab Tasharrofi},
  title     = {Declarative Solver Development: Case Studies},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fifteenth International Conference, {KR} 2016, Cape Town, South
               Africa, April 25-29, 2016.},
  pages     = {74--83},
  year      = {2016},
  crossref  = {kr/2016},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12822}
}
@proceedings{kr/2016,
  editor    = {Chitta Baral and
               James P. Delgrande and
               Frank Wolter},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fifteenth International Conference, {KR} 2016, Cape Town, South
               Africa, April 25-29, 2016},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/Library/KR/kr16contents.php},
  isbn      = {978-1-57735-755-1}
}