Answer Set Programming with External Source Access
Conflict-Driven Answer Set Solving: From Theory to Practice