Non-monotonic reasoning proceedings (Springer, 1989)