%0 Journal Article
%A A. O. Slisenko
%T Finite approach to the problem of optimization of theorem-proving algorithms
%J Zapiski Nauchnykh Seminarov POMI
%D 1975
%P 123-130
%V 49
%U http://geodesic.mathdoc.fr/item/ZNSL_1975_49_a5/
%G ru
%F ZNSL_1975_49_a5