@PROCEEDINGS{Schmitt91a,
        EDITOR             = {K.-P.~Jantke, P.~H.~Schmitt and J.~Dix},
        PUBLISHER          = {Springer Verlag},
        SERIES             = {Lecture Notes in AI},
        TITLE              = {Nonmonotonic and Inductive Logic, First 
                              Internat. workshop, Karlsruhe},
        VOLUME             = {543},
        YEAR               = {1991}
}