An introduction to non-monotonic reasoning - Reinfrank, Michael (1985)