Nonmonotonic and inductive logic 1st International Workshop, Karlsruhe, Germany, December 4 - 7, 1990 ; proceedings (Springer, 1991)