Об одном методе получения эффективных нижних оценок монотонной сложности А.Е. Андреев — 1987 Algebra i Logika