Logic Programming and Nonmonotonic Reasoning - Wolfgang Faber - Häftad | Bokus