Logic Programming and Nonmonotonic ReasoningCarmine Dodaro, Gopal Gupta, Maria Vanina Martinez · First published 2024Open the Tome
