Logic Programming and Nonmonotonic Reasoning - John Schlipf - E-bok | Bokus