TY  - JOUR
AU  - Yu. A. Mamatov
TI  - Concerning a principle for obtaining lower bounds on the complexity of formulas
JO  - Doklady Akademii Nauk
PY  - 1979
SP  - 782
EP  - 784
VL  - 245
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1979_245_4_a2/
LA  - ru
ID  - DAN_1979_245_4_a2
ER  -