An Introduction to Default Logic - Philippe Besnard