Logic Programming and Nonmonotonic Reasoning - Balduccini; Lierler, Yuliya; Woltran, Stefan (Springer International Publishing, 2019)