Logic Programming and Nonmonotonic Reasoning - Gerald Pfeifer - E-bok | Bokus