Roland Roijers

• Answer Set Solving in Practice