Khelemendik R V

Publications in Math-Net.Ru

1. On the solution of chess positions using computational tree logic
   
   Izv. Saratov Univ. Math. Mech. Inform., 11:1 (2011),  111–121