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