Non-monotonic reasoning : - Kukaszewicz, Witold (Ellis Horwood series in artificial intelligence, 1990)