Logic Programming and Nonmonotonic Reasoning by Tomi Janhunen | Menrva Books | MenrvaBooks