@article{ISU_2011_11_1_a15,
     author = {R. V. Khelemendik},
     title = {On the solution of chess positions using computational tree logic},
     journal = {Izvestiya of Saratov University. Mathematics. Mechanics. Informatics},
     pages = {111--121},
     publisher = {mathdoc},
     volume = {11},
     number = {1},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ISU_2011_11_1_a15/}
}