Describir: Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings / J. Dix, K.P. Jantke, P.H. Schmitt (eds.).