Heinrich Herre Generalized Compactness of Nonmonotonic Inference Operations. 1995 5 Journal of Applied Non-Classical Logics 1 db/journals/jancl/jancl5.html#Herre95