%0 Journal Article
%A M. I. Kanovich
%T Quasipolynomial algorithms for the recognition of the satisfiability and derivability of propositional formulas
%J Doklady Akademii Nauk
%D 1986
%P 281-286
%V 290
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1986_290_2_a5/
%G ru
%F DAN_1986_290_2_a5