%0 Journal Article
%A D. Yu. Vlasov
%T Proof search algorithm in pure logical framework
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2020
%P 988-998
%V 17
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2020_17_a20/
%G en
%F SEMR_2020_17_a20