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