%0 Journal Article
%A P. Yu. Suvorov
%T On the recognition of the tautological nature of propositional formulas
%J Zapiski Nauchnykh Seminarov POMI
%D 1976
%P 197-206
%V 60
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1976_60_a14/
%G ru
%F ZNSL_1976_60_a14