@article{DAN_1991_318_3_a2,
     author = {Yu. V. Gavrilenko},
     title = {Majorants of logic evaluations. {Lifting} and lowering lemmas in},
     journal = {Doklady Akademii Nauk},
     pages = {528--532},
     publisher = {mathdoc},
     volume = {318},
     number = {3},
     year = {1991},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DAN_1991_318_3_a2/}
}