Logic Programming and Nonmonotonic Reasoning - Balduccini (Springer International Publishing, 2019)