Модели суперстабильных хорновых теорий Ю. Заффе; Е.А. Палютин; С.С. Старченко — 1985 Algebra i Logika