Logic Programming and Nonmonotonic ReasoningMarcello Balduccini, Yuliya Lierler, Stefan Woltran₹3,361