Aleksanyan Sona Rafikovna

Publications in Math-Net.Ru

1. The polynomial bounds of proof complexity in Frege systems
   
   Sibirsk. Mat. Zh., 50:2 (2009),  243–249
2. On proof normal forms for some systems of classical propositional logic
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2007, no. 1,  39–45