Answer Set Solving in Practice by Martin Gebser & Roland Kaminsk