@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} }