An introduction to default logic - Besnard, Philippe (Springer Verlag, 1989)