An Introduction To Default Logic by Philippe Besnard