@inproceedings{DBLP:conf/lpnmr/GebserKNS07a,
author = {Gebser, Martin and Kaufmann, Benjamin and Neumann, Andr{\'{e}} and Schaub, Torsten},
title = {clasp: {A} Conflict-Driven Answer Set Solver},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {260--265},
publisher = {Springer},
year = {2007}
}