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