An Introduction To Default Logic door Philippe Besnard