%0 Journal Article
%A I. G. Khnykin
%T Transformation of CNF via resolution
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 91-93
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_10_a46/
%G ru
%F PDM_2009_10_a46