Logic Programming and Nonmonotonic Reasoning - Georg Gottlob, Daniela Inclezan, Marco Maratea (Springer, 2022)