%0 Journal Article %A K. L. Rychkov %T Representations of normalized formulas %J Diskretnyj analiz i issledovanie operacij %D 2022 %P 77-103 %V 29 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/DA_2022_29_4_a4/ %G ru %F DA_2022_29_4_a4