Logic Programming and Nonmonotonic Reasoning by Pedro Cabalar | Menrva Books | MenrvaBooks