%0 Journal Article
%A A. A. Semenov
%T About Tseitin transformation in logical equations
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 28-50
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_4_a2/
%G ru
%F PDM_2009_4_a2