Logic Programming and Nonmonotonic ReasoningGeorg Gottlob, Daniela Inclezan, Marco Maratea · First published 2022Open the Tome