Workshop on Nonmonotonic Reasoning (1989 Sankt Augustin, Germany)