Categorical Horn classes. I
Horn classes categorical in some infinite power
scientific article; zbMATH DE number 3771579