Okhotnikov Oleg Alievich

Publications in Math-Net.Ru

1. About proof-search in classical natural deduction calculus using partial skolemization
   
   Intelligent systems. Theory and applications, 23:4 (2019),  39–90