Logic Programming And Nonmonotonic Reasoning door C. Baral