selected publications chapter clasp: A Conflict-Driven Answer Set Solver. Springer eBooks. 260-265. 2007