Logic Programming and Nonmonotonic Reasoning by Marcello Balduccini | Menrva Books | MenrvaBooks