Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров Ю.Л. Ершов, Ju.L. Eršov, Ǔ. L. Eršov, Ju.L. Ersov (1964) Algebra i Logika
Сильная конструктивизируемость счетных насыщенных булевых алгебр. А.С. Морозов (1982) Algebra i Logika
Сложность и время работы нормальных алгорифмов, вычисляющихфункции алгебры логики Ю.В. Голунков, З.К. Бухараева (1978) Verojatnostnye metody i kibernetika