%0 Journal Article
%A V. A. Uspenskii
%A V. E. Plisko
%T Diagnostic propositional formulas
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1991
%P 7-12
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_1991_3_a1/
%G ru
%F VMUMM_1991_3_a1