Logic Programming and Nonmonotonic Reasoning - Balduccini; Janhunen, Tomi (Springer International Publishing, 2017)