Сложность и время работы нормальных алгорифмов, вычисляющихфункции алгебры логики Ю.В. Голунков; З.К. Бухараева — 1978 Verojatnostnye metody i kibernetika