Title: Answer Set Solving in Practice
Subjects: Logic programming, Computer programming, Algebra, problems, exercises, etc.