Answer Set Solving in Practice door Martin Gebser & Roland Kaminsk