Nonmonotonic and inductive logic 2nd international workshop, Reinhardsbrunn Castle, Germany, December 2 - 6, 1991 ; proceedings - Brewka, Gerhard (Springer, 1993)