Non-monotonic reasoning formalization of commonsense reasoning - Łukaszewicz, Witold 1947- (Ellis Horwood, 1990)