@inproceedings{DBLP:conf/cp/Schaub13,
  title = {Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning},
  author = {Schaub, Torsten},
  booktitle = {{CP}},
  pages = {3--4},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {8124},
  year = {2013}
}