TY  - JOUR
A1  - Gebser, Martin
A1  - Kaufmann, Benjamin
A1  - Neumann, André
A1  - Schaub, Torsten H.
T1  - Conflict-driven answer set solving
Y1  - 2007
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/30062
SN  - 978-1-57735-323-2
ER  -