An Introduction to Default Logic - sidottu, Englanti, 1989