AN INTRODUCTION TO DEFAULT LOGIC - Besnard, Philippe (Springer, 1989)