%0 Journal Article
%A T. M. Kosovskaya
%A D. A. Petrov
%T Extraction of a maximal common sub-formula of predicate formulas for the solving of some artificial intelligence problems
%J Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
%D 2017
%P 250-263
%V 13
%N 3
%U http://geodesic.mathdoc.fr/item/VSPUI_2017_13_3_a2/
%G ru
%F VSPUI_2017_13_3_a2