@inproceedings{DBLP:conf/sum/Schaub10,
title = {Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning},
author = {Schaub, Torsten},
booktitle = {{SUM}},
pages = {2},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6379},
year = {2010}
}