%0 Journal Article %A R. V. Khelemendik %T On the solution of chess positions using computational tree logic %J Izvestiya of Saratov University. Mathematics. Mechanics. Informatics %D 2011 %P 111-121 %V 11 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/ISU_2011_11_1_a15/ %G ru %F ISU_2011_11_1_a15