Logic Programming And Nonmonotonic Reasoning door Thomas Eiter