Theory Solving Made Easy with Clingo 5
Conflict-Driven Answer Set Solving: From Theory to Practice